337 search results - page 8 / 68 » Predicate abstraction for software verification |
107
Voted
GG
2010
Springer
15 years 4 months ago
2010
Springer
CORR
2006
Springer
15 years 3 months ago
2006
Springer
129
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
117
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
111
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...