The aim of Automated Verification of Critical Systems (AVoCS) 2014
(http://utwente.nl/avocs2014/) is 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. 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 which need to meet stringent dependability requirements
(safety-critical, business-critical, performance-critical, etc.).
The workshop organisers are Marieke Huisman and Jaco van de Pol, with
support from Wojciech Mostowski, all from the University of Twente,
Netherlands. The workshop will feature 3 invited presentations by Guy
Broadfoat, Laura Kovacs (Chalmers University of Technology), and
Alastair Donaldson (Imperial College London). The SPES_XT Summer
School on Model-based design and analysis of cyber-physical systems
will be co-located with AVoCS’14.
We are looking forward to a lively workshop and welcome your
participation in the event.
FME is sponsoring two students bursaries for the event.