Pages that link to "Item:Q2441711"

The following pages link to Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711):

Displayed 2 items.

• Lost in abstraction: monotonicity in multi-threaded programs (Q729809) ‎ (← links)
• Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (Q2961579) ‎ (← links)