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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-11936-6
  • 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
  • About this book