Tools and Algorithms for the Construction and Analysis of Systems

20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

  • Erika Ábrahám
  • Klaus Havelund

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

Table of contents

  1. Front Matter
  2. Invited Contribution

    1. Orna Kupferman
      Pages 1-14
  3. Decision Procedures and Their Application in Analysis

    1. Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
      Pages 15-30
    2. Alessandro Armando, Roberto Carbone, Luca Compagna
      Pages 31-45
    3. Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
      Pages 46-61
    4. Hassan Eldib, Chao Wang, Patrick Schaumont
      Pages 62-77
    5. Bernd Finkbeiner, Leander Tentrup
      Pages 78-92
    6. Arie Gurfinkel, Anton Belov, Joao Marques-Silva
      Pages 93-108
    7. Ruzica Piskac, Thomas Wies, Damien Zufferey
      Pages 124-139
  4. Complexity and Termination Analysis

    1. Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
      Pages 140-155
    2. Hong-Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter O’Hearn
      Pages 156-171
    3. Jan Leike, Matthias Heizmann
      Pages 172-186
  5. Modeling and Model Checking Discrete Systems

    1. Thomas Gibson-Robinson, Philip Armstrong, Alexandre Boulgakov, Andrew W. Roscoe
      Pages 187-201
    2. Gavin Lowe
      Pages 202-216
    3. Jan Reineke, Stavros Tripakis
      Pages 217-232
    4. Anton Wijs, Dragan Bošnački
      Pages 233-247
  6. Timed and Hybrid Systems

    1. Dieky Adzkiya, Bart De Schutter, Alessandro Abate
      Pages 248-262
    2. Lacramioara Aştefănoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
      Pages 263-278
    3. Khalil Ghorbal, André Platzer
      Pages 279-294

About these proceedings


This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.


algorithms automata theory complexity decision procedures dynamic analysis formal methods hardware verification hybrid models logic model checking models of computation probabilistic systems program specifications programming languages realtime software engineering softwrae verification static analysis theorem proving timed models

Editors and affiliations

  • Erika Ábrahám
    • 1
  • Klaus Havelund
    • 2
  1. 1.RWTH AachenGermany
  2. 2.Jet Propulsion LaboratoryCalifornia Institute of TechnologyUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54861-1
  • Online ISBN 978-3-642-54862-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
IT & Software