Electronic Communications of the EASST Volume 70 (2014) Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) Preface 3 pages Guest Editors: Marieke Huisman, Jaco van de Pol 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 AVoCS 2014, the 14th International Workshop on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24th–26th September 2014. Its aim is to contribute to the interaction and exchange of ideas among members of the inter- national 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 interpreta- tion, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contri- butions that describe different techniques, or industrial case studies are encouraged. The workshop programme consisted of contributed papers and three keynote speakers. We are grateful to Alastair Donaldson, Imperial College London, Guy Broadfoot, and Laura Kovács, Chalmers University of Technology, for accepting our invitation to address the workshop. Out of 25 submitted papers, 13 papers have been accepted (i.e., an acceptance rate of 50%) as full papers to be presented during the workshop, and are published in the current volume of the Electronic Communications of the EASST. In addition, these proceedings also contain an invited paper by Alastair Donaldson, and invited abstracts by Guy Broadfoot, and Laura Kovács. In addition, also 9 research ideas were presented during the workshop. We would like to thank the Steering Committee for the opportunity to host the workshop at the University of Twente. We also would like to thank the Programme Committee and external reviewers for their efforts in reviewing the contributed papers in order to ensure a high quality workshop. Further, we also thank Holger Schlingloff and Markus Roggenbach, for organising the Model- based design and analysis of cyber-physical systems SPES XT Summer School, co-located with AVoCS 2014. We are grateful to Formal Methods Europe for providing us the financial means to waive the registration fee for several students participating in the workshop. We are also grateful to the Aspasia Fund of the University of Twente for financially supporting the travel and stay of Laura Kovács. Finally, we are grateful to CTIT for providing a guarantee subsidy. Finally, special thanks go to Joke Lammerink and Wojciech Mostowski for their efforts in helping to make the workshop a success. Workshop Programme Chairs November 2014 Marieke Huisman University of Twente Jaco van de Pol 1 / 3 Volume 70 (2014) Preface Programme Committee • John Derrick, University of Sheffield, U.K. • Mike Dodds, University of York, U.K. • Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands • Michael Goldsmith, University of Oxford, U.K. • Jan Friso Groote, Eindhoven University of Technology, Netherlands • Anne Haxthausen, Technical University of Denmark, Denmark • Keijo Heljanko, Aalto University, Finland • Marieke Huisman, University of Twente, Netherlands (co-chair) • Temesghen Kahsai, NASA Ames Research Center, U.S.A. • Gerald Luettgen, University of Bamberg, Germany • Radu Mateescu, INRIA Grenoble – Rhône-Alpes, France • Stephan Merz, INRIA Nancy & LORIA, France • Markus Roggenbach, Swansea University, U.K. • Marco Roveri, FBK-irst, Italy • Thomas Santen, Microsoft Research, Germany • Bernard Steffen, Technical University Dortmund, Germany • Jan Strejček, Masaryk University, Czech Republic • Jun Sun, Singapore University of Technology and Design, Singapore • Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France • Helen Treharne, University of Surrey, U.K. • Jaco van de Pol, University of Twente, Netherlands (co-chair) • Laurent Voisin, Systerel, France • Kirsten Winter, University of Queensland, Australia Proc. AVoCS 2014 2 / 3 http://staffwww.dcs.shef.ac.uk/people/J.Derrick/ http://www-users.cs.york.ac.uk/~miked/ http://www.cs.vu.nl/~wanf/ http://www.cs.ox.ac.uk/people/michael.goldsmith/ http://www.win.tue.nl/~jfg/ http://www2.imm.dtu.dk/~aeha/ http://people.aalto.fi/keijo_heljanko http://wwwhome.ewi.utwente.nl/~marieke/ http://homepage.cs.uiowa.edu/~tkahsaiazene/ http://www.swt-bamberg.de/luettgen/ http://convecs.inria.fr/people/Radu.Mateescu http://www.loria.fr/~merz/ http://www.cs.swan.ac.uk/~csmarkus/ https://es-static.fbk.eu/people/roveri/ http://research.microsoft.com/en-us/people/tsanten/ http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.html http://www.muni.cz/fi/people/Jan.Strejcek http://www.sutd.edu.sg/sunj.aspx http://www.liafa.jussieu.fr/~touili/ http://www.surrey.ac.uk/computing/people/helen_treharne/ http://wwwhome.ewi.utwente.nl/~vdpol/ http://www.systerel.fr/ http://researchers.uq.edu.au/researcher/1024 ECEASST Additional Reviewers • František Blahoudek • Pieter Cuijpers • Sascha Fendrich • Alberto Griggio • Matthias Güdemann • Alexander Heußner • Falk Howar • Jeremy Jacob • Phillip James • Fatma Jebali • Sergio Mover • Johannes Neubauer • Christopher M. Poskitt • Olli Saarikivi • Wendelin Serwe • Antti Tapani Siirtola • Marek Trtı́k • Wieger Wesselink • David White • Stephan Windmüller Steering Committee • Michael Goldsmith, University of Oxford, U.K. • Stephan Merz, INRIA Nancy & LORIA, France • Markus Roggenbach, Swansea University, U.K. Local Organisers • Marieke Huisman • Wojciech Mostowski (publicity chair) • Jaco van de Pol • Joke Lammerink 3 / 3 Volume 70 (2014) http://www.cs.ox.ac.uk/people/michael.goldsmith/ http://www.loria.fr/~merz/ http://www.cs.swan.ac.uk/~csmarkus/ http://wwwhome.ewi.utwente.nl/~marieke/ http://wwwhome.ewi.utwente.nl/~mostowskiwi/ http://wwwhome.ewi.utwente.nl/~vdpol/