Pages that link to "Item:Q832229"
From MaRDI portal
The following pages link to Constraint-based relational verification (Q832229):
Displaying 7 items.
- Constraint-based relational verification (Q832229) (← links)
- Decision tree learning in CEGIS-based termination analysis (Q832251) (← links)
- Certified verification of relational properties (Q2165505) (← links)
- Maintaining state constraints in relational databases: a proof theoretic basis (Q3833655) (← links)
- Static Analysis (Q5466578) (← links)
- Software Verification of Hyperproperties Beyond k-Safety (Q6487322) (← links)
- Lockstep composition for unbalanced loops (Q6536133) (← links)