Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

  • Franck Cassez
  • Jean-François Raskin
Conference proceedings ATVA 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8837)

Table of contents

  1. Front Matter
  2. C. Aiswarya, Paul Gastin, K. Narayan Kumar
    Pages 1-17
  3. Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
    Pages 18-23
  4. Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
    Pages 24-30
  5. Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz
    Pages 31-46
  6. Timothy Bourke, Rob van Glabbeek, Peter Höfner
    Pages 47-63
  7. Patricia Bouyer, Patrick Gardy, Nicolas Markey
    Pages 64-80
  8. Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta
    Pages 81-97
  9. Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska et al.
    Pages 98-114
  10. Thao Dang, Noa Shalev
    Pages 115-128
  11. Alexandre David, Peter G. Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen et al.
    Pages 129-145
  12. Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
    Pages 146-162
  13. Nathanaël Fijalkow, Denis Kuperberg
    Pages 163-167
  14. Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga
    Pages 168-184
  15. Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov
    Pages 185-200
  16. Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
    Pages 201-218
  17. Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
    Pages 219-234
  18. Zuzana Komárková, Jan Křetínský
    Pages 235-241
  19. Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan et al.
    Pages 242-247
  20. Jérôme Leroux, Vincent Penelle, Grégoire Sutre
    Pages 248-263
  21. Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu
    Pages 264-280
  22. Nicolas Markey, Steen Vester
    Pages 281-296
  23. Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
    Pages 297-313
  24. Alejandro Sánchez, César Sánchez
    Pages 314-329
  25. Orna Grumberg, Orna Kupferman, Sarai Sheinvald
    Pages 348-363
  26. Marek Trtík, Jan Strejček
    Pages 380-395
  27. Weifeng Wang, Li Jiao
    Pages 396-410
  28. Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
    Pages 411-427
  29. Back Matter

About these proceedings


This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.

The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.


Isabelle/HOL automated static analysis correctness dynamic analysis equivalence checking fault tree analysis formal methods formal verification logic and verification model checking protocol testing and verification safety software functional properties software verification theorem proving timed automata

Editors and affiliations

  • Franck Cassez
    • 1
  • Jean-François Raskin
    • 2
  1. 1.NICTAKensingtonAustralia
  2. 2.Départament d’InformatiqueUniversité Libre de Bruxelles (U.L.B.)Belgium

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11935-9
  • Online ISBN 978-3-319-11936-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment