Implementing a Verifier for Real-Time Systems

  title={Implementing a Verifier for Real-Time Systems},
  author={Douglas A. Stuart},
The SARTOR project has as one of its goals the development of an environment for the development of correct real-time systems. Modechart is a specification language for real-time systems developed as part of this project. Verify4 is an implementation of a verifier for certain classes of properties of systems specified using modechart. This paper describes the program verify4 and addresses implementation issues surrounding three of the key algorithms used in the program. 

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

A Method For Verifying Properties of Modechart Specifications,’

  • Jahanian, Stuart 88. F. Jahanian, D. Stuart
  • Proceedings of the Ninth RealTime Systems…
  • 1988
2 Excerpts

Similar Papers

Loading similar papers…