STORM Concurrency Checker


STORM is a tool for detection of concurrency errors in systems code.


  • 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]

Last edited Nov 25, 2009 at 5:24 AM by zrakamar, version 4