Dependable software systems engineering

✍ Scribed by Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor)

• Publisher: Ios Pr Inc; IOS Press
• Year: 2016
• Tongue: English
• Leaves: 296
• Series: NATO science for peace and security series. Sub-series D, Information and communication security 45
• Category: Library

✦ Synopsis

Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models for Analyzing Security Protocols: Some Lecture Notes; Parameterized Verification of Crowds of Anonymous Processes; Synthesis of Reactive Systems; Between Testing and Verification: Dynamic Software Model Checking; Learning-Based Compositional Model Checking of Behavioral UML Systems; Programming by Examples (and Its Applications in Data Wrangling); Verification of Concurrent Software; A Tutorial on Mean-Payoff and Energy Games; Equivalence -- Combinatorics, Algebra, Proofs.

✦ Table of Contents

Title Page......Page 1
Preface......Page 5
Contents......Page 9
Probabilistic Model Checking......Page 11
SMT Solvers: Foundations and Applications......Page 34
Formal Models for Analyzing Security Protocols: Some Lecture Notes......Page 43
Parameterized Verification of Crowds of Anonymous Processes......Page 69
Synthesis of Reactive Systems......Page 82
Between Testing and Verification: Dynamic Software Model Checking......Page 109
Learning-Based Compositional Model Checking of Behavioral UML Systems......Page 127
Programming by Examples (and Its Applications in Data Wrangling)......Page 147
Verification of Concurrent Software......Page 169
A Tutorial on Mean-Payoff and Energy Games......Page 189
Equivalence - Combinatorics, Algebra, Proofs......Page 212
Analysis and Synthesis with "Big Code"......Page 254
Subject Index......Page 293
Author Index......Page 295