Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
Abstract elided by the publisher.
Related papers
- Delay-bounded scheduling POPL 2011
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors SAS 2008
- CUBA: interprocedural Context-UnBounded Analysis of concurrent programs PLDI 2018
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation VMCAI 2011
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- On Sequentializing Concurrent Programs SAS 2011
- A Navigation Logic for Recursive Programs with Dynamic Thread Creation VMCAI 2024