@article{1482736,
      recid = {1482736},
      author = {Gianola, Alessandro,},
      title = {Verification of data-aware processes via satisfiability  Modulo theories /},
      pages = {1 online resource (xxviii, 317 pages) :},
      abstract = {This book is a revised version of the PhD dissertation  written by the author at the University of Bozen-Bolzano in  Italy. It presents a new approach to safety verification of  a particular class of infinite-state systems, called  Data-Aware Processes (DAPs). To do so, the developed  technical machinery requires to devise novel results for  uniform interpolation and its combination in the context of  automated reasoning. These results are then applied to the  analysis of concrete business processes enriched with real  data. In 2022, the PhD dissertation won the "BPM  Dissertation Award", granted to outstanding PhD theses in  the field of Business Process Management. .},
      url = {http://library.usi.edu/record/1482736},
      doi = {https://doi.org/10.1007/978-3-031-42746-6},
}