Dependable Software Systems Engineering
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
London
Sage Publications Ltd
2016
|
| Vydání: | 1 |
| Témata: | |
| ISBN: | 9781614996262, 1614996261 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Obsah:
- 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