VERIFY-2010: Volume Information

VERIFY-2010. 6th International Verification Workshop

13 articles155 pagesPublished: May 15, 2012

Papers

Vèronique Cortier
1
Cliff Jones
2
Andrè Platzer
3
Bernhard Beckert, Daniel Bruns and Sarah Grebing
4-12
Mark Bickford
13-30
Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl
31-46
Alessandro Carioni, Silvio Ghilardi and Silvio Ranise
47-64
Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma and Alessandra Puddu
65-78
Joe Hurd
79-93
Andrei Lapets
94-109
Michael von Tessin
110-125
Shuling Wang and Xu Wang
126-140
Daniel Wasserrab and Denis Lohner
141-155

Keyphrases

Authentication protocols, automated theorem proving, automatic test generation, Bounded Model Checking, branch coverage, certification, Common Criteria, concurrency, Craig interpolation, event logic, formal proof, formal verification, higher-order logic, Infinite-state model checking, information flow control, interactive theorem proving, Isabelle/HOL, isolation, logic, machine-checked verification, modularity, ownership transfer, package management, Presburger arithmetic, program verification, proof reuse, safety-critical systems, Satisfiability Modulo Theories, Security, seL4 microkernel, Slicing, software model checking, theory development, Theory of Arrays, timed automata, tool support, verification, Virtualisation.