Dependable Software Systems Engineering

Saved in:

Bibliographic Details
Main Authors:	Esparza, J, Grumberg, O, Sickert, S
Format:	eBook
Language:	English
Published:	London Sage Publications Ltd 2016
Edition:	1
Subjects:	Computer networks-Security measures-Congresses Computer security-Congresses Software engineering-Congresses
ISBN:	9781614996262, 1614996261
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

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