Work

ACL2: an industrial strength version of Nqthm

Year: 2002

Type: conference-paper

Source: Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security (COMPASS)

DOI: 10.1109/cmpass.1996.507872

Authors: M. Kaufmann, J. Strother Moore

Institutions: Motorola (United States), The University of Texas at Austin

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1903118409

FWCI: 3.118

Cites: 34

Cited by: 112

Related to: 10