A Modular Checker for Multithreaded Programs
No abstract available.
Related papers
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs ESOP 2009
- DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs CAV 2013
- Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs PLDI 2008
- Atomizer: a dynamic atomicity checker for multithreaded programs POPL 2004
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015
- SharC: checking data sharing strategies for multithreaded C PLDI 2008
- An Extended Static Checker for Modular-3 CC 1998
- Iterative context bounding for systematic testing of multithreaded programs PLDI 2007