Software Safety and Security - Tools for Analysis and Verification - researchr publication

researchr

You are not signed in
Sign in
Sign up

Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann, editors, Software Safety and Security - Tools for Analysis and Verification. Volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, 2012. [doi]

Abstract is missing.

Mechanizing Game-Based Proofs of Security ProtocolsBruno Blanchet. 1-25 [doi]

Formal Security ProofsHubert Comon-Lundh, Stéphanie Delaune. 26-63 [doi]

Model Checking: From BDDs to InterpolationOrna Grumberg. 64-84 [doi]

Interactive Proof: Applications to SemanticsGerwin Klein. 85-125 [doi]

Advances in Probabilistic Model CheckingMarta Z. Kwiatkowska, David Parker. 126-151 [doi]

Getting Started with Dafny: A GuideJason Koenig, K. Rustan M. Leino. 152-181 [doi]

Lecture Notes on Software Model CheckingRupak Majumdar. 182-204 [doi]

Boolean Satisfiability Solvers: Techniques and ExtensionsGeorg Weissenbacher, Sharad Malik. 205-253 [doi]

Interactive Proof: Introduction to Isabelle/HOLTobias Nipkow. 254-285 [doi]

A Primer on Separation Logic (and Automatic Program Verification and Analysis)Peter W. O'Hearn. 286-318 [doi]

A Perspective on Information-Flow ControlDaniel Hedin, Andrei Sabelfeld. 319-347 [doi]

Precise Program Analysis through Strategy Iteration and OptimizationThomas Martin Gawlitza, Helmut Seidl. 348-384 [doi]

runs on WebDSL