103 search results - page 6 / 21 » The Barcelogic SMT Solver |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
SAC
2009
ACM
14 years 2 months ago
2009
ACM