Comparing verification systems: Interactive consistency in ACL2

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1996, Pages 35-45

  Young, William D ^a  

^a Computational Logic Inc ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FAULT TOLERANT COMPUTER SYSTEMS; THEOREM PROVING;

ACL2 LOGIC; INTERACTIVE CONSISTENCY; ORAL MESSAGES (OM) ALGORITHM; VERIFICATION SYSTEMS;

FORMAL LOGIC;

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

References (20)