VERIFAS
From MaRDI portal
swMATH33292MaRDI QIDQ45001FDOQ45001
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1705.10007
Cited In (11)
- SMT-based verification of data-aware processes: a model-theoretic approach
- YAWL
- ASASP
- Mcmt
- Cubicle
- SAFARI
- Booster
- mist
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- From model completeness to verification of data aware processes
- A Non-Deterministic Multiset Query Language
This page was built for software: VERIFAS
