Intel's Formal Verification Experience on the Willamette Development.

Robert P. Colwell Bob Brennan

Published in: TPHOLs (2000)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
knowledge based systems
computer architecture
symbolic model checking
case study
open source
design process
development process