An Environment for Integrating Formal Methods Tools

This paper describes a project that aims to speed adoption of formal methods in industry. A design for an open system for integrating diverse formal methods tools using an industry standard communications mechanism is presented. Initial work is particularly aimed at reasoning about state machines, but as a first step towards a universal Formal Methods Interface.

View Entire Paper | Previous Page | White Papers Search

If you found this page useful, bookmark and share it on: