Using PVS to analyze hierarchical state-based requirements for completeness and consistency

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 252-262

  Heimdahl, Mats P E ^a   Czerny, Barbara J ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; PROBLEM SOLVING; SEQUENTIAL MACHINES; THEOREM PROVING;

PROTOTYPE VERIFICATION SYSTEM (PVS); REQUIREMENTS STATE MACHINE LANGUAGE (RSML);

MACHINE ORIENTED LANGUAGES;

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

References (21)