ACL2: An industrial strength version of Nqthm

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1996, Pages 23-34

  Kaufmann, Matt ^a   Moore, J Strother ^a  

^a Computational Logic Inc ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LISP (PROGRAMMING LANGUAGE); THEOREM PROVING;

ACL2 LOGIC; COMMON LISP FUNCTIONS; THEOREM PROVER NQTHM;

FORMAL LOGIC;

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

References (43)