SMT-based verification of data-aware processes: a model-theoretic approach

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. SMT-based verification of data-aware processes: a model-theoretic approach. Mathematical Structures in Computer Science, 30(3):271-313, 2020. [doi]

Abstract

Abstract is missing.