Skip to main content
Book cover
  • 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

Editors:

  1. Dirk Beyer

    1. LMU Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marieke Huisman

    1. University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fabrice Kordon

    1. LIP6 - CNRS UMR, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bernhard Steffen

    1. TU Dortmund University, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Theoretical Computer Science and General Issues (LNTCS, volume 11429)

Conference series link(s): TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference proceedings info: TACAS 2019.

Sections

Softcover Book USD 59.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages i-xxvii
    PDF

  2. TOOLympics 2019

    1. Front Matter

      Pages 1-1
      PDF

    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

    11. The Termination and Complexity Competition

      • Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada
      Pages 156-166Open Access

    12. International Competition on Software Testing (Test-Comp)

      • Dirk Beyer
      Pages 167-175Open Access

    13. 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
      PDF

    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
Back to top

Other Volumes

Back to top

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.


Back to top

Keywords

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

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

Back to top

Bibliographic Information

Back to top
Softcover Book USD 59.99
Price excludes VAT (USA)
Learn about institutional subscriptions