Petrification: Software Model Checking for Programs with Dynamic Thread Management
No abstract available.
Related papers
- Dynamic partial-order reduction for model checking software POPL 2005
- Static and Dynamic Partitioning of Pointers as Links and Threads ICFP 1996
- Thread-Shared Software Code Caches CGO 2006
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025
- Dynamic software updates: a VM-centric approach PLDI 2009
- Scaling model checking of dataraces using dynamic information PPoPP 2005
- Dynamic Reductions for Model Checking Concurrent Software VMCAI 2017
- Iron: managing obligations in higher-order concurrent separation logic POPL 2019