Threader
From MaRDI portal
Software:21917
swMATH9938MaRDI QIDQ21917FDOQ21917
Author name not available (Why is that?)
Cited In (12)
- Regression verification for multi-threaded programs
- Combining Model Checking and Data-Flow Analysis
- Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
- Analysis of correct synchronization of operating system components
- Software verification for weak memory via program transformation
- LCTD: test-guided proofs for C programs on LLVM
- Predicate Abstraction for Program Verification
- Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
- Lost in abstraction: monotonicity in multi-threaded programs
- Practical abstractions for automated verification of shared-memory concurrency
- Counterexample-guided abstraction refinement for symmetric concurrent programs
- Horn clauses as an intermediate representation for program analysis and transformation
This page was built for software: Threader
