Proving refinement transformations for deriving high-assurance software

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 68-77

  Winter, Victor L ^a   Boyle, James M ^a  

^a SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER SYSTEMS; FORMAL LOGIC; PROGRAM TRANSLATORS; QUALITY ASSURANCE;

HIGH ASSURANCE SOFTWARE; PROGRAM TRANSFORMATIONS; REFINEMENT BASED SOFTWARE DEVELOPMENT;

SOFTWARE ENGINEERING;

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

References (7)