摘要：
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_6.html规则，状态和不变式的语法如下所示： ::= {; } [;] ::= | | | | 简单规则： ::= rule [] [ ==> ] [ { } begin ] [ stmts ] ... 阅读全文
摘要：
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_5.html下边是Murphi中语句的形式： ::= {; [] } ::= /* assignment */ | /* if statement */ | /* switch statement */ | /* for statement */ | /* while statement */ | /* alias statement */ | /* procedure call */ | /* cle... 阅读全文