|
|
VERIFY-2010: Author IndexAuthor | 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 | 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 | v | von Tessin, Michael | Towards High-Assurance Multiprocessor Virtualisation |
|
|
|