Proving the Correctness of a Complete Microprocessor.

Christian Jacobi Daniel Kroening

Published in: GI Jahrestagung (2000)

Keyphrases

databases
information retrieval
design methodology
real time
data sets
information systems
special case
general purpose
high speed
circuit design
provably correct