摘要：
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_1.html本来以为自己会是一个搞技术的人的，没想到现在彻底变成一个搞科研的人了。搞的东西，现在自己也不是很懂。摸着石头过河吧。Murphi验证系统由Murphi编译器和Murphi描述性语言组成。Murphi编译器根据Murphi描述生成一个特定目的的验证器。这个验证器可以用来检查系统的特性，比如错误断言，不变量和死锁。Murphi描述语言是一个高级描述语言，针对状态有限的异步并行系统。Murphi在某些特性上是高级的，这些特性可以在很多高级编程语言如Pascal或者C中找到，同时这些特性 阅读全文
