Verification of Data-Aware Processes Via Satisfiability Modulo Theories

by Alessandro Gianola

This book is a revised version of the PhD dissertation written by the author at the Free 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...

• Format: Paperback
• Language: English
• ISBN: 3031427459
• ISBN13: 9783031427459
• Release Date: October 2023
• Publisher: Springer
• Length: 317 Pages
• Weight: 1.07 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"