publication . Book . 1999

Verifying safety properties of a powerPC™ Microprocessor using symbolic model checking without BDDs

Armin Biere; Clarke, E.; Raimi, R.; Zhu, Y.;
  • Published: 01 Jan 1999
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue