TheoremProvers

The Mobius verification condition (VC) generator uses or supports the following automated theorem provers:

• Coqs
• Simplify
• Z3

Version: 4 Time: Tue Feb 12 15:01:39 2008 Author: dcochran (dcochran) IP: 193.1.132.32