2 search results - page 1 / 1 » Verifying Heap-Manipulating Programs in an SMT Framework |
127
click to vote
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...