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
Conference proceedings TACAS 2014

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
    4. Christian Herrera, Bernd Westphal, Andreas Podelski
      Pages 295-309
    5. Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li
      Pages 310-325
  7. Monitoring, Fault Detection and Identification

    1. Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
      Pages 326-340
    2. Normann Decker, Martin Leucker, Daniel Thoma
      Pages 341-356
    3. Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann
      Pages 357-372
  8. Competition on Software Verification

    1. Dirk Beyer
      Pages 373-388
    2. Daniel Kroening, Michael Tautschnig
      Pages 389-391
    3. Stefan Löwe, Mikhail Mandrykin, Philipp Wendler
      Pages 392-394
    4. Petr Muller, Tomáš Vojnar
      Pages 395-397
    5. Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
      Pages 398-401
    6. Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
      Pages 402-404
    7. Jeremy Morse, Mikhail Ramalho, Lucas Cordeiro, Denis Nicole, Bernd Fischer
      Pages 405-407
    8. Arie Gurfinkel, Anton Belov
      Pages 408-411
    9. Kamil Dudka, Petr Peringer, Tomáš Vojnar
      Pages 412-414
    10. Jiri Slaby, Jan Strejček
      Pages 415-417
    11. Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa et al.
      Pages 418-420
    12. Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski
      Pages 421-423
  9. Specifying and Checking Linear Time Properties

    1. Shaull Almagor, Udi Boker, Orna Kupferman
      Pages 424-439
    2. Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
      Pages 440-454
  10. Synthesis and Learning

    1. Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia
      Pages 470-484
    2. Oded Maler, Irini-Eleftheria Mens
      Pages 485-499
  11. Quantum and Probabilistic Systems

    1. Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
      Pages 500-514
    2. Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
      Pages 515-530
    3. Klaus Dräger, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Mateusz Ujma
      Pages 531-546
  12. Tool Demonstrations

    1. Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin et al.
      Pages 562-567
    2. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 568-574
    3. D. A. van Beek, W. J. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski, J. M. van de Mortel-Fronczak et al.
      Pages 575-580
    4. Rafael Caballero, Enrique Martin-Martin, Adrian Riesco, Salvador Tamarit
      Pages 581-586

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 Computer Science (R0)
  • Print ISBN 978-3-642-54861-1
  • Online ISBN 978-3-642-54862-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site