337 search results - page 4 / 68 » Predicate abstraction for software verification |
AMAST
2006
Springer
15 years 2 months ago
2006
Springer
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
94
Voted
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
CAV
2008
Springer
15 years 6 days ago
2008
Springer
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...
89
Voted
FASE
2009
Springer
15 years 2 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....