IEEE - Institute of Electrical and Electronics Engineers, Inc. - Mechanical verification of timed automata: a case study

Proceedings Real-Time Technology and Applications

Author(s): Archer, M. ; Heitmeyer, C.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Brookline, MA, USA, USA
Conference Date: 10 June 1996
Page(s): 192 - 203
ISBN (Paper): 0-8186-7448-2
DOI: 10.1109/RTTAS.1996.509536
Regular:

The paper reports the results of a case study on the feasibility of developing and applying mechanical methods, based on the proof system PVS, to prove propositions about real time systems... View More

Advertisement