Formal analysis by abstract interpretation: case studies in modern protocols
Auteur :
Aziz, Benjamin
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030911522
Date de publication :
14 déc. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book presents three case studies, all related to current complex protocols and standards used in industry, particularly in the context of IoT and Industry 4.0.