Pages that link to "Item:Q5408554"
From MaRDI portal
The following pages link to Predicate abstraction and refinement for verifying multi-threaded programs (Q5408554):
Displayed 14 items.
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- Farkas-based tree interpolation (Q2233543) (← links)
- Verification of concurrent programs using Petri net unfoldings (Q2234071) (← links)
- Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711) (← links)
- Local Symmetry and Compositional Verification (Q2891426) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Non-deterministic Weighted Automata on Random Words (Q5009422) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)