VERIFY@IJCAR

Keyphrases

Publications

volume 3, 2012

6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010 VERIFY@IJCAR 3 (2012)

2010

Cliff B. Jones
Abstractions Before Proofs. VERIFY@IJCAR (2010)
Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu
Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR (2010)
Bernhard Beckert, Daniel Bruns, Sarah Grebing
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). VERIFY@IJCAR (2010)
Andrei Lapets
User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier. VERIFY@IJCAR (2010)
Shuling Wang, Xu Wang
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. VERIFY@IJCAR (2010)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. VERIFY@IJCAR (2010)
Véronique Cortier
Verification of Security Protocols. VERIFY@IJCAR (2010)
André Platzer
Real Analysis for Complex Systems. VERIFY@IJCAR (2010)
Michael von Tessin
Towards High-Assurance Multiprocessor Virtualisation. VERIFY@IJCAR (2010)
Joe Hurd
Composable Packages for Higher Order Logic Theories. VERIFY@IJCAR (2010)
Mark Bickford
Automated Proof of Authentication Protocols in a Logic of Events. VERIFY@IJCAR (2010)
Daniel Wasserrab, Denis Lohner
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. VERIFY@IJCAR (2010)
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
MCMT in the Land of Parametrized Timed Automata. VERIFY@IJCAR (2010)