Christian Jacobi 0002, Daniel Kroening. Proving the Correctness of a Complete Microprocessor. In Kurt Mehlhorn, Gregor Snelting, editors, Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000. Informatik aktuell, pages 293-303, Springer, 2000. [doi]
Abstract is missing.