SymmPa

swMATH8414MaRDI QIDQ20423FDOQ20423

Author name not available (Why is that?)

Cited In (3)

• Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
• Lost in abstraction: monotonicity in multi-threaded programs
• Counterexample-guided abstraction refinement for symmetric concurrent programs

This page was built for software: SymmPa