AVM 2012
2012 7th Alpine Verification Meeting (AVM)
Powered by
Conference Publishing Consulting

2012 7th Alpine Verification Meeting (AVM), May 21-22, 2012, Passau, Germany

AVM 2012 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File


New Trends in Program Synthesis (Keynote)
Thomas A. Henzinger
(IST Austria, Austria)

Article Search
A Perfect Model for Bounded Verification (Keynote)
Javier Esparza
(TU Munich, Germany)

Article Search

Session Zugspitze
Mon, May 21, 10:15 - 11:30

Synthesizing Software Verifiers from Proof Rules
Corneliu Popeea
(TU Munich, Germany)

Article Search
Refinement Framework for Monadic Programs in Isabelle/HOL
Peter Lammich
(TU Munich, Germany)

Article Search
A Formalisation of Finite Automata in Isabelle/HOL
Thomas Tuerk
(TU Munich, Germany)

Article Search

Session Black Forrest
Mon, May 21, 12:50 - 14:30

Engage: A Deployment Management System
Shahram Esmaeilsabzali
(MPI-SWS, Germany)

Article Search
Nested Interpolants in SMTinterpol
Jochen Hoenicke
(Uni Freiburg, Germany)

Article Search
The Theory of Arrays with Set and Copy
Florian Merz
(KIT, Germany)

Article Search
Simplification of Verification by Program Transformation
Alexander Schremmer
(Uni Paderborn, Germany)

Article Search

Session Schneeberg
Tue, May 22, 10:00 - 11:15

Synthesizing Robust Systems
Bettina Könighofer
(TU Graz, Austria)

Article Search
Synthesis from Incompatible Specifications
Arjun Radhakrishna
(IST, Austria)

Article Search
Parameterized Synthesis
Ayrat Khalimov
(TU Graz, Austria)

Article Search

Session Danube
Tue, May 22, 12:25 - 14:30

Scalable Certificate Extraction for QBF
Mathias Preiner
(JKU Linz, Austria)

Article Search
CEGAR for an Explicit-Value Analysis
Stefan Löwe
(Uni Passau, Germany)

Article Search
Efficient Techniques for Manipulation of Non-deterministic Tree Automata
Ondrej Lengal
(TU Brno, Czech Republic)

Article Search
Symbolic Loop Bounds for WCET Analysis
Jakob Zwirchmayr
(TU Vienna, Austria)

Article Search
Counter Attack against Byzantine Generals
Josef Widder
(TU Vienna, Austria)

Article Search

Session Adamello
Tue, May 22, 15:00 - 16:40

Strong and Weak Controllability of Temporal Problems with Uncertainty Using SMT
Andrea Micheli
(FBK, Italy)

Article Search
Library-Based Fault Injection for Formal Safety Assessment
Cristian Mattarei
(FBK, Italy)

Article Search
FunFrog: Function Summarization-Based Model Checking
Grigory Fedyukovich
(Uni Lugano, Switzerland)

Article Search
Accelerating Interpolants
Hossein Hojjat
(EPFL, Switzerland)

Article Search

proc time: 0.19