| Description |
1 online resource. |
| Physical Medium |
polychrome |
| Description |
text file |
| Series |
NATO science for peace and security. Series D, Information and communication security ; vol. 45
|
|
NATO science for peace and security series. Sub-series D, Information and communication security ; vol. 45.
|
| Note |
"Proceedings of the NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany, 4-16 August 2015." |
|
Includes indexes. |
| 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 |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Computer security -- Congresses.
|
|
Computer security. |
|
Computer networks -- Security measures -- Congresses.
|
|
Computer networks -- Security measures. |
|
Software engineering -- Congresses.
|
|
Software engineering. |
| Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Electronic books.
|
|
Conference papers and proceedings.
|
| Added Author |
Esparza, Javier, editor.
|
|
Grumberg, Orna, editor.
|
|
Sickert, Salomon, editor.
|
| Other Form: |
Print version: Esparza, J. Dependable Software Systems Engineering Fairfax : IOS Press,c2016 9781614996262 |
| ISBN |
9781614996279 electronic book |
|
161499627X electronic book |
|
9781614996262 print |
|
