SymmPa
From MaRDI portal
Software:20423
No author found.
Related Items (3)
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions ⋮ Counterexample-guided abstraction refinement for symmetric concurrent programs ⋮ Lost in abstraction: monotonicity in multi-threaded programs
This page was built for software: SymmPa
