The past decade has also seen research into the development of tools that use concurrency theory as a basis for automating the design and analysis of concurrent systems. The tools vary greatly in terms of the semantic model and kinds of analysis supported; however, each implicitly shares the philosophy that truly useful design tools must have the sort of rigorous and mathematical theoretical basis that concurrency theory provides.
What follows is essentially a categorization of tools based on the degree of interaction demanded from the user during the verification process. The interested reader is also referred to the report of the formal methods working group for additional tool information.