Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.

Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu

Browse the full CAV paper archive.