逻辑专栏12：逻辑验证与等式验证
计算机科学中的逻辑
2007-05-23 v1
摘要
本文考察了两种验证方法：一种基于使用逻辑来表达系统性质，另一种基于证明系统等价于一个显然具有所关注性质的更简单系统。通过过程演算和正则程序等例子，探讨了这两种方法之间的关系。
引用
@article{arxiv.cs/0505024,
title = {Logic Column 12: Logical Verification and Equational Verification},
author = {Riccardo Pucella},
journal= {arXiv preprint arXiv:cs/0505024},
year = {2007}
}
备注
11 pages