Transformational method for verifying safety properties in real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1989, Pages 112-123

  Franklin, Matthew K ^a   Gabrielian, Armen ^a  

^a Thomson CSF Inc Palo Alto CA USA ^*

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--FINITE AUTOMATA;

HIERARCHICAL MULTISTATE SPECIFICATION; REACHABILITY; REAL TIME SYSTEMS; SAFETY VERIFICATION;

COMPUTER SYSTEMS, DIGITAL;

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

References (15)