38 search results - page 2 / 8 » cav 2008 |
CAV
2008
Springer
13 years 7 months ago
2008
Springer
CAV
2008
Springer
13 years 7 months ago
2008
Springer
CAV
2008
Springer
13 years 7 months 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...
CAV
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination--a long-standing open problem. The paper provides experiment...
CAV
2008
Springer
13 years 7 months ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr