[moca] Spatial Logic Model Checker available

[<htv@xxxxxxxxxx>]

Dear all,

The "Spatial Logic Model Checker" is now available!  We are pleased to
announce the first release of the Spatial Logic Model Checker. The
SLMC is a tool for model-checking systems modeled in the pi-calculus
against properties specified in a expressive spatial logic.

Properties of systems that can be expressed in spatial logics for
concurrency include properties related to resource usage, access and
counting;  to distribution, ownership and secrecy, and to behavior.

Read all about it at: http://ctp.di.fct.unl.pt/SLMC/

Comments and suggestions are welcome!

Hugo Vieira and Luis Caires



  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html