D-Finder: A Tool for Compositional Deadlock Detection and Verification
Abstract elided by the publisher.
Related papers
- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems TACAS 2016
- Deadlock Verification via Ordering-Constrained Mutex Modeling CAV 2026
- Automatic Goal Clone Detection in Rocq ECOOP 2025
- Dynamic deadlock verification for general barrier synchronisation PPoPP 2015
- Staccato: A Bug Finder for Dynamic Configuration Updates ECOOP 2016
- Dynamic Deadlock Verification for General Barrier Synchronisation TOPLAS 2019
- Applying cognitive principles to model-finding output: the positive value of negative information OOPSLA 2022
- TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs PPoPP 2013