SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282)
From MaRDI portal
scientific article; zbMATH DE number 7283036
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SMT-based verification of data-aware processes: a model-theoretic approach |
scientific article; zbMATH DE number 7283036 |
Statements
SMT-based verification of data-aware processes: a model-theoretic approach (English)
0 references
8 December 2020
0 references
verification of data-aware processes
0 references
satisfiability modulo theories
0 references
model completeness
0 references
well-quasi-orders
0 references
database theory
0 references
0 references
0 references
0 references
