Dependable Software Systems Engineering
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
London
Sage Publications Ltd
2016
|
| Ausgabe: | 1 |
| Schlagworte: | |
| ISBN: | 9781614996262, 1614996261 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- 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