逻辑专栏12：逻辑验证和等式验证
Logic Column 12: Logical Verification and Equational Verification
摘要：
本文研究了两种验证方法，一种是基于使用逻辑来表达系统的属性，另一种是基于将系统等效于一个简单的系统，该系统显然具有感兴趣的任何属性。使用的例子，如过程演算和常规程序，这两种方法之间的关系进行了探讨。
英文摘要：
This article examines two approaches to verification, one based on using a logic for expressing properties of a system, and one based on showing the system equivalent to a simpler system that obviously has whatever property is of interest. Using examples such as process calculi and regular programs, the relationship between these two approaches is explored.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
