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.