The following pages link to VERIFAS (Q45001):
Displayed 5 items.
- Item:Q45001 (redirect page) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- From model completeness to verification of data aware processes (Q2185467) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)