摘要：关于验证的两种方法：基于用逻辑表达系统属性的一种方法和基于将系统等同于明显具备目标属性的简单系统的一种方法。通过使用进程演算和正则程序等示例，探讨了这两种方法之间的关系。
作者：Riccardo Pucella
论文ID：cs/0505024
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中