www.cs.cmu.edu

Connecting Automatic and Interactive Theorem Proving

The field of formal verification is all about using mathematically rigorous techniques and tools to prove properties about systems. The applications of formal verification vary widely. There are ...