Checking properties of safety critical specifications using efficient decision procedures

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 1998, Pages 34-43

  Park, David Y W ^a   Skakkebaek, Jens U ^a   Heimdahl, Mats P E ^a   Czerny, Barbara J ^a   Dill, David L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEMS PROGRAMMING; FORMAL LANGUAGES; FORMAL LOGIC; MACHINE ORIENTED LANGUAGES; SOFTWARE ENGINEERING;

FORMAL SPECIFICATIONS; REQUIREMENTS STATE MACHINE LANGUAGES (RSML);

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031674364     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/298595.298603     Document Type: Conference Paper

References (21)