Volume
@proceedings{VERIFY-2010,
title = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2012}}
Papers
@inproceedings{VERIFY-2010:Verification_Security_Protocols,
author = {Vèronique Cortier},
title = {Verification of Security Protocols},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/14T},
doi = {10.29007/2dc6},
pages = {1},
year = {2012}}
@inproceedings{VERIFY-2010:Abstractions_Before_Proofs,
author = {Cliff Jones},
title = {Abstractions Before Proofs},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kN3},
doi = {10.29007/v7vx},
pages = {2},
year = {2012}}
@inproceedings{VERIFY-2010:Real_Analysis_Complex_Systems,
author = {Andrè Platzer},
title = {Real Analysis for Complex Systems},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/r4},
doi = {10.29007/ksvj},
pages = {3},
year = {2012}}
@inproceedings{VERIFY-2010:Mind_Gap_Formal_Verification,
author = {Bernhard Beckert and Daniel Bruns and Sarah Grebing},
title = {Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper)},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/PM},
doi = {10.29007/w9b3},
pages = {4-12},
year = {2012}}
@inproceedings{VERIFY-2010:Automated_Proof_Authentication_Protocols,
author = {Mark Bickford},
title = {Automated Proof of Authentication Protocols in a Logic of Events},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sCGD},
doi = {10.29007/r7n1},
pages = {13-30},
year = {2012}}
@inproceedings{VERIFY-2010:Program_Verification_via_Craig,
author = {Angelo Brillout and Daniel Kroening and Philipp Rümmer and Thomas Wahl},
title = {Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/x7wp},
doi = {10.29007/zfkw},
pages = {31-46},
year = {2012}}
@inproceedings{VERIFY-2010:MCMT_Land_Parametrized_Timed,
author = {Alessandro Carioni and Silvio Ghilardi and Silvio Ranise},
title = {MCMT in the Land of Parametrized Timed Automata},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/q9s},
doi = {10.29007/sc2w},
pages = {47-64},
year = {2012}}
@inproceedings{VERIFY-2010:Automatic_generation_high_quality,
author = {Emanuele Di Rosa and Enrico Giunchiglia and Massimo Narizzano and Gabriele Palma and Alessandra Puddu},
title = {Automatic generation of high quality test sets via CBMC},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bb9},
doi = {10.29007/zbb8},
pages = {65-78},
year = {2012}}
@inproceedings{VERIFY-2010:Composable_Packages_Higher_Order,
author = {Joe Hurd},
title = {Composable Packages for Higher Order Logic Theories},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zZV},
doi = {10.29007/7gg3},
pages = {79-93},
year = {2012}}
@inproceedings{VERIFY-2010:User_friendly_Support_Common,
author = {Andrei Lapets},
title = {User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6shl},
doi = {10.29007/p79n},
pages = {94-109},
year = {2012}}
@inproceedings{VERIFY-2010:Towards_High_Assurance_Multiprocessor,
author = {Michael von Tessin},
title = {Towards High-Assurance Multiprocessor Virtualisation},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/pNzz},
doi = {10.29007/rhn3},
pages = {110-125},
year = {2012}}
@inproceedings{VERIFY-2010:Proving_Simpsons_Four_Slot,
author = {Shuling Wang and Xu Wang},
title = {Proving Simpson's Four-Slot Algorithm Using Ownership Transfer},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dJzK},
doi = {10.29007/l2sp},
pages = {126-140},
year = {2012}}
@inproceedings{VERIFY-2010:Proving_Information_Flow_Noninterference,
author = {Daniel Wasserrab and Denis Lohner},
title = {Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing},
booktitle = {VERIFY-2010. 6th International Verification Workshop},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FSk},
doi = {10.29007/nnzj},
pages = {141-155},
year = {2012}}
