The Rare Glitch Project:
Verifying Bus Protocols for
Embedded Systems
Edmund Clarke,
Daniel Kroening
Carnegie Mellon University
