Report on AVoCS 2012

The 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012) was held on 18-20th September 2012 at the University of Bamberg, Germany. AVoCS is dedicated to subjects of automated verification, including model checking, theorem proving, abstract interpretation and refinement concepts, interpreted in a broad and inclusive manner. The workshop series contributes to the discussion and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems.

The workshop programme spanned three days and was composed of six sessions:

  • Model Checking & Applications
  • Timed Systems
  • Case Studies
  • TLA, CSP & B
  • Stochastic & Probabilistic Model checking
  • Concurrency & Logic

The workshop also featured four keynote presentations that were eloquently delivered by experts in their respective fields:

  • Jon Holt: The Great Escape - Model-based Testing for Safety-Critical Systems
  • Michael Goldsmith: Inside FDR
  • Christoph Weidenbach: Automated Reasoning by Superposition
  • Jaco van de Pol: Multi-core and/or Symbolic Model Checking

In addition to the well organised talks and coffee breaks, the conference dinner offered an intimate atmosphere for further discussions, with an excellent view over the 1100 year old city of Bamberg.

The preliminary workshop proceedings were available at the workshop and contain the regular and short papers selected by the PC as well as the short papers accompanying the keynote presentations. Revised versions of the regular papers will be published in the Electronic Communications of the European Association of Software Science and Technology (ECEASST).

The organizers are grateful for the generous support of Formal Methods Europe.

Author: Bernhard Aichernig