337 search results - page 6 / 68 » Predicate abstraction for software verification |
77
Voted
VMCAI
2007
Springer
15 years 4 months ago
2007
Springer
71
Voted
EMSOFT
2008
Springer
15 years 10 hour ago
2008
Springer
AMAST
2004
Springer
15 years 2 months ago
2004
Springer
TACAS
2005
Springer
15 years 3 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...
93
Voted
ICTAC
2010
Springer
14 years 8 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 ...