Spade: Verification of Multithreaded Dynamic and Recursive Programs
No abstract available.
Related papers
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Complexity of pattern-based verification for multithreaded programs POPL 2011
- Pattern-Based Verification for Multithreaded Programs TOPLAS 2014
- A Widening Approach to Multithreaded Program Verification TOPLAS 2014
- Modular Termination Verification of Single-Threaded and Multithreaded Programs TOPLAS 2018
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs ESOP 2009
- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures CAV 2007
- Parameterized Verification of Multithreaded Software Libraries TACAS 2001