The generalized railroad crossing: A case study in formal verification of real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1994, Pages 120-131

  Heitmeyer, Constance ^a   Lynch, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIC SPECIFICATIONS; DISCRETE SYSTEMS; FORMAL VERIFICATIONS; GATE MODELS; OPERATIONAL SPECIFICATIONS; SYSTEM DESCRIPTION; SYSTEM IMPLEMENTATION; TIMED AUTOMATA;

AUTOMATA THEORY; RAILROAD CROSSINGS; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 84872460286     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/REAL.1994.342724     Document Type: Conference Paper

References (0)