Automatic verification of industrial designs

Workshop on Industrial-Strength Formal Specification Techniques

Volumn , Issue , 1995, Pages 88-96

  Hartonas Garmhausen, V ^a   Kurfess, T ^a   Clarke, E M ^a   Long, D ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CENTRALIZED SIGNAL CONTROL; COMPUTER AIDED MANUFACTURING; COMPUTER SIMULATION; CONTROL EQUIPMENT; FORMAL LANGUAGES; FORMAL LOGIC; INTERLOCKING SIGNALS; RELIABILITY; SYSTEMS ANALYSIS;

AUTOMATIC VERIFICATION AND INDUSTRIAL DESIGN; RAILWAY INTERLOCKING CONTROL SYSTEMS; SYSTEM SPECIFICATION; TEMPORAL LOGIC;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (26)