Threader
From MaRDI portal
Software:21917
No author found.
Related Items (12)
Regression Verification for Multi-threaded Programs ⋮ Predicate Abstraction for Program Verification ⋮ Combining Model Checking and Data-Flow Analysis ⋮ LCTD: test-guided proofs for C programs on LLVM ⋮ Software Verification for Weak Memory via Program Transformation ⋮ Horn clauses as an intermediate representation for program analysis and transformation ⋮ Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions ⋮ Counterexample-guided abstraction refinement for symmetric concurrent programs ⋮ Analysis of correct synchronization of operating system components ⋮ Lost in abstraction: monotonicity in multi-threaded programs ⋮ Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) ⋮ Practical abstractions for automated verification of shared-memory concurrency
This page was built for software: Threader
