Software Tools for Formal Specification and Verification of Distributed Real-TimeSystems

摘要

This is the final report prepared under SBIR Phase II Contract N00014-95-C-0131from the Office of Naval Research. It reports on the development of a set of software tools for specification and verification of distributed real time systems using formal methods. The task of this SBIR Phase II effort was to create a commercial-strength CASE toolset suitable for handling real-life verification problems. A preceding Phase I contract was concerned with development of the approach to the problem and design of a prototype environment 14. Forthcoming Phase III work will demonstrate the utility of the toolset to potential customers