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.