Towards the Automated Verification of Multithreaded Java Programs
No abstract available.
Related papers
- A Widening Approach to Multithreaded Program Verification TOPLAS 2014
- Types for atomicity: Static checking and inference for Java TOPLAS 2008
- Security Monitor Inlining for Multithreaded Java ECOOP 2009
- Synthesizing racy tests PLDI 2015
- Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs OOPSLA 2008
- Parameterized Verification of Multithreaded Software Libraries TACAS 2001
- Spade: Verification of Multithreaded Dynamic and Recursive Programs CAV 2007
- A programming model for concurrent object-oriented programs TOPLAS 2008