SMT-based verification of data-aware processes: a model-theoretic approach - Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey (Mathematical structures in computer science, 2020)
Keywords: Algebra; Algorithms; Arrays; Computer science; Logic; Mathematical analysis; Mathematical logic; Safety; Software; System effectiveness; Verification