HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Thursday, September 14, 2006 - 5:05:01 PM
Last modification on : Tuesday, October 19, 2021 - 4:07:07 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