Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Account

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
  • Open Access
  • © 2019

You have full access to this open access Conference proceedings

Download book PDF
Download book EPUB

Overview

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: Lecture Notes in Computer Science (LNCS, volume 11429)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TACAS 2019.

Buy print copy

Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

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.


Similar content being viewed by others

Keywords

Table of contents (23 papers)

  1. Front Matter

    Pages i-xxvii
    Download chapter PDF

  2. TOOLympics 2019

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter PDF

    3. Confluence Competition 2019

      • Aart Middeldorp, Julian Nagele, Kiraku Shintani
      Pages 25-40Open Access
      Download chapter PDF

    4. International Competition on Runtime Verification (CRV)

      • Ezio Bartocci, Yliès Falcone, Giles Reger
      Pages 41-49Open Access
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    7. The Rewrite Engines Competitions: A RECtrospective

      • Francisco Durán, Hubert Garavel
      Pages 93-100Open Access
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    10. Automatic Verification of C and Java Programs: SV-COMP 2019

      • Dirk Beyer
      Pages 133-155Open Access
      Download chapter PDF

    11. The Termination and Complexity Competition

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

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

      • Dirk Beyer
      Pages 167-175Open Access
      Download chapter PDF

    13. VerifyThis – Verification Competition with a Human Factor

      • Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
      Pages 176-195Open Access
      Download chapter PDF

  3. SV-COMP 2019

    1. Front Matter

      Pages 197-197
      Download chapter PDF

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

      • Kareem Khazem, Michael Tautschnig
      Pages 199-203Open Access
      Download chapter PDF

    3. Extending DIVINE with Symbolic Verification Using SMT

      • Henrich Lauko, Vladimír Štill, Petr Ročkai, Jiří Barnat
      Pages 204-208Open Access
      Download chapter PDF

    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
      Download chapter PDF

    5. JayHorn: A Java Model Checker

      • Temesghen Kahsai, Philipp Rümmer, Martin Schäf
      Pages 214-218Open Access
      Download chapter PDF

    6. JBMC: Bounded Model Checking for Java Bytecode

      • Lucas Cordeiro, Daniel Kroening, Peter Schrammel
      Pages 219-223Open Access
      Download chapter PDF
Back to top

Other volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems

  2. Tools and Algorithms for the Construction and Analysis of Systems

  3. Tools and Algorithms for the Construction and Analysis of Systems

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

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation