Electronic Communications of the EASST
Volume 35 (2010)

Proceedings of the
10th International Workshop on

Automated Verification of Critical Systems
(AVoCS 2010)

Preface

1 pages

Guest Editors: Jens Bendisposto, Michael Leuschel, Markus Roggenbach
Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer
ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122

http://www.easst.org/eceasst/


ECEASST

Preface

The Workshop on Automated Verification of Critical Systems was held in September 20-23 in
Düsseldorf, Germany co-located with the second Rodin User and Developer Workshop. Previ-
ous AVoCS workshops were held at the University of Oxford (2001 and 2007), the University of
Birmingham (2002), the University of Southampton (2003), the Royal Society in London (2004),
the University of Warwick (2005), LORIA, Nancy (2006), the University of Glasgow (2008), and
Swansea University (2009).

The aim of AVoCS 2010 was to contribute to the interaction and exchange of ideas among
members of the international research community on tools and techniques for the verification of
critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects
of automated verification, including model checking, theorem proving, SAT/SMT/constraint
solving, abstract interpretation, and refinement pertaining to various types of critical systems
(safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that
describe different techniques, or industrial case studies are encouraged. The technical program
will consist of invited and contributed talks and also allow for short presentations of ongoing
work. The workshop will be relatively informal, with an emphasis on discussion.

There have been 22 full paper submissions and 13 short submission of which 11 full paper and
7 short submission were accepted for presentation at the workshop. In a second review process
10 paper were accepted for publication in the Electronic Communications of the EASST. All full
paper have been anonymously reviewed by at least three reviewers.

We are very grateful to the Microsoft Innovation Center Europe for sponsoring attendance of
PhD students at the workshop. We would like to thank the PC members and the reviewers for
their rigorous and detailed reviews. We also thank the invited speakers, Jean-Raymond Abrial
and Joseph R. Kiniry, for their contributions to the workshop.

Jens Bendisposto
Michael Leuschel

Markus Roggenbach

1 / 1 Volume 35 (2010)