Symbolic model checking for real-time systems

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1992, Pages 394-406

  Henzinger, Thomas A ^a   Nicollin, Xavier ^a   Sifakis, Joseph ^a   Yovine, Sergio ^a  

^a Department of Obstetrics Gynecology

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; REAL TIME SYSTEMS;

FINITE STATE PROGRAMS; GUARDED COMMAND LANGUAGE; STATE PREDICATES; SYMBOLIC MODEL CHECKING;

PROGRAMMING THEORY;

EID: 0026882867     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)