SimplifyBackendExplanation

Simplify is an automated theorem prover mainly used for software and hardware verification. Like several other automated provers, the MOBIUS Simplify backend bridges Simplify to the MOBIUS Automated Prover API.

Communication with Simplify is accomplished exclusively via piped data streams at this time. Additionally, if the prover terminates abnormally or becomes unavailable, it is restarted automatically. Finally, terminating a validity check via a timeout is also supported.

Version: 1 Time: Fri Mar 28 18:20:50 2008 Author: dcochran (dcochran) IP: 193.1.132.32