The Process Algebra Tool

The Process Algebra Tool (PAT) will be available for download from this page as soon as the first release is available.

The proof assistant for process algebras is currently being developed. The tool aims to support equational reasoning within any of the theories in the book.  The initial release of the tool should support roughly 75% of the theories in the book.  Within certain bounds, the tool supports any process algebra theory that does not use constructs other than the constructs used in the supported theories of the book.