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},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{VERIFY-2010:Verification_of_Security_Protocols,
author = {V\textbackslash{}`eronique 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},
pages = {1},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/14T},
doi = {10.29007/2dc6}}
@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},
pages = {2},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kN3},
doi = {10.29007/v7vx}}
@inproceedings{VERIFY-2010:Real_Analysis_for_Complex,
author = {Andr\textbackslash{}`e 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},
pages = {3},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/r4},
doi = {10.29007/ksvj}}
@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},
pages = {4--12},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/PM},
doi = {10.29007/w9b3}}
@inproceedings{VERIFY-2010:Automated_Proof_of_Authentication,
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},
pages = {13--30},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sCGD},
doi = {10.29007/r7n1}}
@inproceedings{VERIFY-2010:Program_Verification_via_Craig,
author = {Angelo Brillout and Daniel Kroening and Philipp R\textbackslash{}"ummer 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},
pages = {31--46},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/x7wp},
doi = {10.29007/zfkw}}
@inproceedings{VERIFY-2010:MCMT_in_Land_of,
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},
pages = {47--64},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/q9s},
doi = {10.29007/sc2w}}
@inproceedings{VERIFY-2010:Automatic_generation_of_high,
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},
pages = {65--78},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bb9},
doi = {10.29007/zbb8}}
@inproceedings{VERIFY-2010:Composable_Packages_for_Higher,
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},
pages = {79--93},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zZV},
doi = {10.29007/7gg3}}
@inproceedings{VERIFY-2010:User_friendly_Support_for_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},
pages = {94--109},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6shl},
doi = {10.29007/p79n}}
@inproceedings{VERIFY-2010:Towards_High_Assurance_Multiprocessor_Virtualisation,
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},
pages = {110--125},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/pNzz},
doi = {10.29007/rhn3}}
@inproceedings{VERIFY-2010:Proving_Simpsons_Four_Slot_Algorithm,
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},
pages = {126--140},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dJzK},
doi = {10.29007/l2sp}}
@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},
pages = {141--155},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FSk},
doi = {10.29007/nnzj}}