Skip to main content
  • Conference proceedings
  • Open Access
  • © 2019

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Conference proceedings info: TACAS 2019.

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (23 papers)

  1. Front Matter

    Pages i-xxvii
  2. TOOLympics 2019

    1. Front Matter

      Pages 1-1
    2. TOOLympics 2019: An Overview of Competitions in Formal Methods

      • Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns et al.
      Pages 3-24Open Access
    3. Confluence Competition 2019

      • Aart Middeldorp, Julian Nagele, Kiraku Shintani
      Pages 25-40Open Access
    4. International Competition on Runtime Verification (CRV)

      • Ezio Bartocci, Yliès Falcone, Giles Reger
      Pages 41-49Open Access
    5. Presentation of the 9th Edition of the Model Checking Contest

      • Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah et al.
      Pages 50-68Open Access
    6. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models

      • Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský et al.
      Pages 69-92Open Access
    7. The Rewrite Engines Competitions: A RECtrospective

      • Francisco Durán, Hubert Garavel
      Pages 93-100Open Access
    8. RERS 2019: Combining Synthesis with Real-World Models

      • Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen et al.
      Pages 101-115Open Access
    9. SL-COMP: Competition of Solvers for Separation Logic

      • Mihaela Sighireanu, Juan A. Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds et al.
      Pages 116-132Open Access
    10. The Termination and Complexity Competition

      • Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada
      Pages 156-166Open Access
    11. International Competition on Software Testing (Test-Comp)

      • Dirk Beyer
      Pages 167-175Open Access
    12. VerifyThis – Verification Competition with a Human Factor

      • Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
      Pages 176-195Open Access
  3. SV-COMP 2019

    1. Front Matter

      Pages 197-197
    2. CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker

      • Kareem Khazem, Michael Tautschnig
      Pages 199-203Open Access
    3. Extending DIVINE with Symbolic Verification Using SMT

      • Henrich Lauko, Vladimír Štill, Petr Ročkai, Jiří Barnat
      Pages 204-208Open Access
    4. ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference

      • Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro, Denis Nicole
      Pages 209-213Open Access
    5. JayHorn: A Java Model Checker

      • Temesghen Kahsai, Philipp Rümmer, Martin Schäf
      Pages 214-218Open Access
    6. JBMC: Bounded Model Checking for Java Bytecode

      • Lucas Cordeiro, Daniel Kroening, Peter Schrammel
      Pages 219-223Open Access

About this book

This book is Open Access under a CC BY licence.

This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.


  • artificial intelligence
  • competition
  • formal logic
  • formal methods
  • java
  • model checking
  • programming languages
  • semantics
  • software engineering
  • software evaluation
  • theory of computation
  • verification

Editors and Affiliations

  • LMU Munich, Munich, Germany

    Dirk Beyer

  • University of Twente, Enschede, The Netherlands

    Marieke Huisman

  • LIP6 - CNRS UMR, Paris, France

    Fabrice Kordon

  • TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)