Verification of Data-Aware Processes via Satisfiability Modulo Theories

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...

Full description

Bibliographic Details

Main Author:	Gianola, Alessandro (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Business Information Processing, 470
Subjects:	Business > Data processing. Artificial intelligence. Business information services. Business Informatics. Artificial Intelligence. IT in Business.
Online Access:	https://doi.org/10.1007/978-3-031-42746-6
Tags:	Add Tag No Tags, Be the first to tag this record!