Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Unifying type checking and property checking for low-level codeACM SIGPLAN Notices, 2009
- Semantic Reduction of Thread Interleavings in Concurrent ProgramsLecture Notes in Computer Science, 2009
- Symbolic Context-Bounded Analysis of Multithreaded Java ProgramsLecture Notes in Computer Science, 2008
- Efficient Modeling of Concurrent Systems in BMCLecture Notes in Computer Science, 2008
- Reducing Concurrent Analysis Under a Context Bound to Sequential AnalysisLecture Notes in Computer Science, 2008
- Interprocedural Analysis of Concurrent Programs Under a Context BoundPublished by Springer Science and Business Media LLC ,2008
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Spade: Verification of Multithreaded Dynamic and Recursive ProgramsLecture Notes in Computer Science, 2007
- Context-Bounded Model Checking of Concurrent SoftwareLecture Notes in Computer Science, 2005
- KISSACM SIGPLAN Notices, 2004