Ebook: Dependable software systems engineering

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.