Model Checking Multithreaded Programs with Asynchronous Atomic Methods
No abstract available.
Related papers
- Types for atomicity: Static checking and inference for Java TOPLAS 2008
- CDSchecker: checking concurrent data structures written with C/C++ atomics OOPSLA 2013
- A type and effect system for atomicity PLDI 2003
- Atomizer: a dynamic atomicity checker for multithreaded programs POPL 2004
- A Practical Approach for Model Checking C/C++11 Code TOPLAS 2016
- Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking VMCAI 2019
- Summarizing procedures in concurrent programs POPL 2004
- Iterative context bounding for systematic testing of multithreaded programs PLDI 2007