| About |
| People |
| Download |
| Publications |
STORM - Finding Concurrency Errors in Systems Software
About
Blah blah blah...People
Alan HuShuvendu Lahiri
Shaz Qadeer
Zvonimir Rakamaric (main contact)
Download
Benchmarks
storm_microbenchmarks_bpl_20090922.tar.gzstorm_microbenchmarks_sx_20090922.tar.gz
storm_microbenchmarks_smt_20090922.tar.gz
storm_benchmarks_bpl_20090922.tar.gz
storm_benchmarks_sx_20090922.tar.gz
storm_benchmarks_smt_20090922.tar.gz
Publications
-
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers,
21st International Conference on Computer Aided Verification (CAV 2009), Grenoble, France
[pdf] [bib]