ACL2 support for verification projects
暂无分享,去创建一个
This talk discusses the use of a particular theorem prover, ACL2, on formal verification projects, particularly in industrial settings. In addition to describing briefly some existing and ongoing applications of ACL2, I'll discuss features relevant to formal verification projects.