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