Return to Software

π-ADL toolset

The toolset implements the π-ADL languages, which are based on the π-calculus.

Two compilers and virtual machines are available:

  • the first one targets the PBase persistent virtual machine for Linux, including a browser for the persistent store;
  • the other one targets the .NET platform

The toolset contains the following additional software:

  • visual description of software architectures
  • graphical animation of software architectures
  • verification of structural and behavioural properties
  • refinement of software architectures
  • UML profile
  • trace satisfaction against properties

Permanent link to this article: