Work

Proving the Correctness of a Complete Microprocessor

Year: 2000

Type: book-chapter

Source: Informatik aktuell

DOI: 10.1007/978-3-642-58322-3_24

Authors: Christian Jacobi, Daniel Kroening

Institution: Saarland University

Language: German

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1514180814

FWCI: 5.204

Cites: 26

Cited by: 15

Related to: 10