FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
No abstract available.
Related papers
- ArcherGear: data race equivalencing for expeditious HPC debugging PPoPP 2020
- Interactive debugging of concurrent programs under relaxed memory models CGO 2020
- Debugging of Behavioural Models with CLEAR TACAS 2019
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023
- To be precise: regression aware debugging OOPSLA 2016
- Automatic Predicate Abstraction of C Programs PLDI 2001
- Optimal stateless model checking for reads-from equivalence under sequential consistency OOPSLA 2019
- DI: an interactive debugging interpreter for applicative languages PLDI 1987