337 search results - page 6 / 68 » Predicate abstraction for software verification |
87
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
83
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
100
click to vote
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
109
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...