VERIFAS

MaRDI QIDQ45001swMATHFDO

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