STORM Concurrency Checker

Introduction

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

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]

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