Spatial Logic Model Checker - change log

----------------------------------------

v2.01-Nov-09 > Added support for Conversation Calculus Specifications 

***

v1.15-Jun-09 > Added the name inequality test to processes.

***

v1.14-Jan-08 > Bug fix in the handling of the decomposition operator.

***

v1.13-Apr-06 > Bug fix in recursive formula's propositional variable handling. Thanks once again to Matthias Radestock.

***

v1.12-Mar-06 > Bug fix on the process parameter handling. Thanks again to Matthias Radestock.
 
***

v1.11-Mar-06 > Bug fix on the parsing of recursive formulas. Thanks to Matthias Radestock.

***

v1.1-Apr-05 > Bug fix in recursive formula's formal parameter handling.

***

v1.0-Mar-05 > Definition of recursive formulas was extended to allow formal parameters

              & internal silent actions were added to the process model

              & select construct was extended to allow any kind of prefixed process.

***

v0.91-Jun-04 > Bug fix in the verification of recursive formulas.

***

v0.9-Mar-04 > Initial release.