Dependable Software Systems Engineering

Saved in:
Bibliographic Details
Main Authors Esparza, J, Grumberg, O, Sickert, S
Format eBook
LanguageEnglish
Published London Sage Publications Ltd 2016
Edition1
Subjects
Computer networks-Security measures-Congresses
Computer security-Congresses
Software engineering-Congresses
Online AccessGet full text
ISBN9781614996262
1614996261

Cover

Table of Contents:
  • 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 -- Analysis and Synthesis with "Big Code -- Subject Index -- Author Index