Proving the Correctness of a Complete Microprocessor (2000)

by Christian Jacobi , Daniel Kroening
Venue:In GI Jahrestagung 2000
Citations:8 - 4 self