CARMA Eclipse Plug-In
CARMA Eclipse Plug-In is an Eclipse plug-in developed for supporting specification and analysis of CAS in CARMA. In this plug-in, CARMA systems are specified by using an appropriate high-level language for designers of CAS, named the CARMA Specification Language. This is mapped to the process algebra, and hence will enable qualitative and quantitive analysis of CAS during system development by enabling a design workflow and analysis pathway. The intention of this high-level language is not to add to the expressiveness of CARMA, which we believe to be well-suited to capturing the behaviour of CAS, but rather to ease the task of modelling for users who are unfamiliar with process algebra and similar formal notations.
pSpaces: Programming with Spaces
eTAPAs is an Eclipse plug-in that provides tools for supporting specification and analysis of concurrent systems via Process Algebras. eTAPAs supports the use of process algebrae to specify and analyze concurrent systems. Systems are described as process algebras terms that are then mapped to Labelled Transition Systems (LTSs). Properties can be verified by checking equivalences between concrete and abstract system descriptions, or by model checking temporal formulae over the obtained LTS. eTAPAs does not rely on a specific process algebra. Indeed, different process specification languages can be easily integrated in eTAPAs.