Sciweavers

CAV
2008
Springer
110views Hardware» more  CAV 2008»
14 years 1 months ago
Probabilistic CEGAR
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...
Holger Hermanns, Björn Wachter, Lijun Zhang