Parameterized Verification of Multithreaded Software Libraries
No abstract available.
Related papers
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015
- Types for atomicity: Static checking and inference for Java TOPLAS 2008
- Multithreaded test synthesis for deadlock detection OOPSLA 2014
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012
- Parameterized verification of transactional memories PLDI 2010
- Parallel programming and code selection in fortress PPoPP 2006
- Improving server software support for simultaneous multithreaded processors PPoPP 2003
- Pointer and escape analysis for multithreaded programs PPoPP 2001