Pages that link to "Item:Q3526545"
From MaRDI portal
The following pages link to REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION (Q3526545):
Displaying 4 items.
- Ping-pong protocols as prefix grammars: modelling and verification via program transformation (Q739638) (← links)
- On one application of computations with oracle (Q1758675) (← links)
- MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS (Q3646165) (← links)
- Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003) (← links)
