Logic Column 12: Logical Verification and Equational Verification
<|reference_start|>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.<|reference_end|>
@article{pucella2005logic,
    title={Logic Column 12: Logical Verification and Equational Verification},
    author={Riccardo Pucella},
    journal={SIGACT News, 36(2), pp. 77-88, 2005},
    year={2005},
    archivePrefix={arXiv},
    eprint={cs/0505024},
    primaryClass={cs.LO}
}