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
  2. TOOLympics 2019

    1. Front Matter
      Pages 1-1
    2. Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns et al.
      Pages 3-24 Open Access
    3. Aart Middeldorp, Julian Nagele, Kiraku Shintani
      Pages 25-40 Open Access
    4. Ezio Bartocci, Yliès Falcone, Giles Reger
      Pages 41-49 Open Access
    5. Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah et al.
      Pages 50-68 Open Access
    6. Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský et al.
      Pages 69-92 Open Access
    7. Francisco Durán, Hubert Garavel
      Pages 93-100 Open Access
    8. Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen et al.
      Pages 101-115 Open Access
    9. Mihaela Sighireanu, Juan A. Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds et al.
      Pages 116-132 Open Access
    10. Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada
      Pages 156-166 Open Access
    11. Dirk Beyer
      Pages 167-175 Open Access
    12. Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
      Pages 176-195 Open Access
  3. SV-COMP 2019

    1. Front Matter
      Pages 197-197
    2. Kareem Khazem, Michael Tautschnig
      Pages 199-203 Open Access
    3. Henrich Lauko, Vladimír Štill, Petr Ročkai, Jiří Barnat
      Pages 204-208 Open Access
    4. Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro, Denis Nicole
      Pages 209-213 Open Access
    5. Temesghen Kahsai, Philipp Rümmer, Martin Schäf
      Pages 214-218 Open Access
    6. Lucas Cordeiro, Daniel Kroening, Peter Schrammel
      Pages 219-223 Open Access
    7. Cyrille Artho, Willem Visser
      Pages 224-228 Open Access
    8. Cedric Richter, Heike Wehrheim
      Pages 229-233 Open Access
    9. Eti Chaudhary, Saurabh Joshi
      Pages 234-238 Open Access
    10. Yannic Noller, Corina S. Păsăreanu, Aymeric Fromherz, Xuan-Bach D. Le, Willem Visser
      Pages 239-243 Open Access
    11. Animesh Basak Chowdhury, Raveendra Kumar Medicherla, Venkatesh R
      Pages 244-249 Open Access
    12. Pritom Rajkhowa, Fangzhen Lin
      Pages 250-255 Open Access
  4. Back Matter
    Pages 257-258

Other volumes

  1. 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. 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
  • 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