Sciweavers

2 search results - page 1 / 1
» Verifying Heap-Manipulating Programs in an SMT Framework
Sort
View
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
14 years 4 months ago
Verifying Heap-Manipulating Programs in an SMT Framework
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...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
SIGSOFT
2010
ACM
13 years 7 months ago
Staged concurrent program analysis
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
Nishant Sinha, Chao Wang