Skip to Main content Skip to Navigation
Conference papers

Automatic verification of real time systems: a case study

Abstract : We propose here a tool which implements an algorithm proposed for a decidable class of verification problems and we illustrate the efficiency of the method by giving an automatic treatment of the well-known benchmark called the Generalized Railroad Crossing Problem. The controller is specified (in all its generality) as a 4-line long Gurevich Abstract State Machines (ASM) which is then automatically translated into a FOTL formula which characterizes its set of runs.
Document type :
Conference papers
Complete list of metadata
Contributor : Tristan Crolard <>
Submitted on : Thursday, September 14, 2006 - 5:05:01 PM
Last modification on : Thursday, January 23, 2020 - 3:48:01 PM


  • HAL Id : hal-00094624, version 1



Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva. Automatic verification of real time systems: a case study. Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS'03), 2003, Southampton, United Kingdom. pp.1-11. ⟨hal-00094624⟩



Record views