default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Safety and Security 2012
- Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann:
Software Safety and Security - Tools for Analysis and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 33, IOS Press 2012, ISBN 978-1-61499-027-7 - Bruno Blanchet:
Mechanizing Game-Based Proofs of Security Protocols. 1-25 - Hubert Comon-Lundh, Stéphanie Delaune:
Formal Security Proofs. 26-63 - Orna Grumberg:
Model Checking: From BDDs to Interpolation. 64-84 - Gerwin Klein:
Interactive Proof: Applications to Semantics. 85-125 - Marta Z. Kwiatkowska, David Parker:
Advances in Probabilistic Model Checking. 126-151 - Jason Koenig, K. Rustan M. Leino:
Getting Started with Dafny: A Guide. 152-181 - Rupak Majumdar:
Lecture Notes on Software Model Checking. 182-204 - Georg Weissenbacher
, Sharad Malik:
Boolean Satisfiability Solvers: Techniques and Extensions. 205-253 - Tobias Nipkow:
Interactive Proof: Introduction to Isabelle/HOL. 254-285 - Peter W. O'Hearn:
A Primer on Separation Logic (and Automatic Program Verification and Analysis). 286-318 - Daniel Hedin, Andrei Sabelfeld:
A Perspective on Information-Flow Control. 319-347 - Thomas Martin Gawlitza, Helmut Seidl:
Precise Program Analysis through Strategy Iteration and Optimization. 348-384
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
