Advertisement

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

  • Dirk Beyer
  • Marieke Huisman
  • Fabrice Kordon
  • Bernhard Steffen
Open Access
Conference proceedings TACAS 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11429)

Table of contents

  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-24 Open Access
      PDF
    3. Confluence Competition 2019
      Aart Middeldorp, Julian Nagele, Kiraku Shintani
      Pages 25-40 Open Access
      PDF
    4. International Competition on Runtime Verification (CRV)
      Ezio Bartocci, Yliès Falcone, Giles Reger
      Pages 41-49 Open Access
      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-68 Open Access
      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-92 Open Access
      PDF
    7. The Rewrite Engines Competitions: A RECtrospective
      Francisco Durán, Hubert Garavel
      Pages 93-100 Open Access
      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-115 Open Access
      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-132 Open Access
      PDF
    10. Automatic Verification of C and Java Programs: SV-COMP 2019
      Dirk Beyer
      Pages 133-155 Open Access
      PDF
    11. The Termination and Complexity Competition
      Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada
      Pages 156-166 Open Access
      PDF
    12. International Competition on Software Testing (Test-Comp)
      Dirk Beyer
      Pages 167-175 Open Access
      PDF
    13. VerifyThis – Verification Competition with a Human Factor
      Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
      Pages 176-195 Open Access
      PDF

  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-203 Open Access
      PDF
    3. Extending DIVINE with Symbolic Verification Using SMT
      Henrich Lauko, Vladimír Štill, Petr Ročkai, Jiří Barnat
      Pages 204-208 Open Access
      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-213 Open Access
      PDF
    5. JayHorn: A Java Model Checker
      Temesghen Kahsai, Philipp Rümmer, Martin Schäf
      Pages 214-218 Open Access
      PDF
    6. JBMC: Bounded Model Checking for Java Bytecode
      Lucas Cordeiro, Daniel Kroening, Peter Schrammel
      Pages 219-223 Open Access
      PDF
    7. Java Pathfinder at SV-COMP 2019 (Competition Contribution)
      Cyrille Artho, Willem Visser
      Pages 224-228 Open Access
      PDF
    8. PeSCo: Predicting Sequential Combinations of Verifiers
      Cedric Richter, Heike Wehrheim
      Pages 229-233 Open Access
      PDF
    9. Pinaka: Symbolic Execution Meets Incremental Solving
      Eti Chaudhary, Saurabh Joshi
      Pages 234-238 Open Access
      PDF
    10. Symbolic Pathfinder for SV-COMP
      Yannic Noller, Corina S. Păsăreanu, Aymeric Fromherz, Xuan-Bach D. Le, Willem Visser
      Pages 239-243 Open Access
      PDF
    11. VeriFuzz: Program Aware Fuzzing
      Animesh Basak Chowdhury, Raveendra Kumar Medicherla, Venkatesh R
      Pages 244-249 Open Access
      PDF
    12. VIAP 1.1
      Pritom Rajkhowa, Fangzhen Lin
      Pages 250-255 Open Access
      PDF
  4. Back Matter
    Pages 257-258
    PDF

Other volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems
    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
  2. Tools and Algorithms for the Construction and Analysis of Systems
    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
  3. 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

About these proceedings

Introduction

This book is Open Access under a CC BY licence. 

Keywords

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

Editors and affiliations

  1. 1.LMU MunichMunichGermany
  2. 2.University of TwenteEnschedeThe Netherlands
  3. 3.LIP6 - CNRS UMRParisFrance
  4. 4.TU Dortmund UniversityDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-17502-3
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-17501-6
  • Online ISBN 978-3-030-17502-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site