Threader
From MaRDI portal
Software:21917
swMATH9938MaRDI QIDQ21917FDOQ21917
Author name not available (Why is that?)
Cited In (12)
- Software Verification for Weak Memory via Program Transformation
- Combining Model Checking and Data-Flow Analysis
- Analysis of correct synchronization of operating system components
- Regression Verification for Multi-threaded Programs
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
- 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
