Automatic verification of real time systems: a case study - Archive ouverte HAL Access content directly
Conference Papers Year : 2003

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.
Not file

Dates and versions

hal-00094624 , version 1 (14-09-2006)

Identifiers

  • HAL Id : hal-00094624 , version 1

Cite

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⟩

Collections

CNRS LACL UPEC
40 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More