The 13th International Workshop on Automated Verification of Critical Systems (AVoCS 2013) was held on 11-13th September 2013 at the University of Surrey, Guildford, UK. AVoCS is dedicated to subjects of automated verification, including model checking, theorem proving 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 main topic areas:
- Formal Verification and Model Checking
- Efficiency and Interfaces of Automata
- Linearisability
- Event-B
- Analysis of Electronic Voting Systems
- Formal Analysis of UML models and Modelling Software Requirements
The workshop also featured three keynote presentations that were delivered by experts in their respective fields and provided a broader appreciation of verification and its wide ranging areas of application
- Sofia Guerra, Adelard, UK.Keeping the temperature down: assessing smart instruments for the nuclear industry.
- Alessio Lomuscio, Imperial College London, Verification of multi-agent systems via model-checking.
- Marco Roveri, FBK, Italy.Software model checking with explicit scheduler and symbolic threads.
The atmosphere at the workshop was informal and friendly which facilitated many lively discussions. The conference dinner at the local Italian in the town also offered the delegates a chance to relax and enjoy.
The preliminary workshop proceedings were available at the workshop and contain the regular and short papers selected by the PC. Revised versions of the regular papers will be published in the Electronic Communications of the European Association of Software Science and Technology (ECEASST) and a call for a special issue in Science of Computer Programming will also follow on from the workshop.
The organizers are grateful for the generous support of Formal Methods Europe.