Sciweavers

ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
14 years 15 days ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker