Advertisement

© 2020

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

  • Armin Biere
  • David Parker
Open Access
Conference proceedings
TACAS 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Bisimulation

    1. Front Matter
      Pages 1-1
    2. David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
      Pages 3-20 Open Access
    3. Xudong Qin, Yuxin Deng, Wenjie Du
      Pages 21-38 Open Access
    4. Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
      Pages 39-56 Open Access
    5. Frédéric Lang, Radu Mateescu, Franco Mazzanti
      Pages 57-76 Open Access
  3. Verification and Efficiency

    1. Front Matter
      Pages 77-77
    2. Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner
      Pages 79-97 Open Access
    3. Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran
      Pages 98-117 Open Access
    4. Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
      Pages 118-125 Open Access
    5. Dirk Beyer, Philipp Wendler
      Pages 126-133 Open Access
  4. Logic and Proof

    1. Front Matter
      Pages 135-135
    2. Karl Palmskog, Ahmet Celik, Milos Gligoric
      Pages 137-157 Open Access
    3. Umang Mathur, P. Madhusudan, Mahesh Viswanathan
      Pages 158-177 Open Access
    4. Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta
      Pages 195-214 Open Access
  5. Tools and Case Studies

    1. Front Matter
      Pages 215-215
    2. Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko van Eekelen, Stijn de Gouw
      Pages 217-234 Open Access
    3. Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
      Pages 235-253 Open Access
    4. Roman Kápl, Pavel Parízek
      Pages 254-270 Open Access
    5. Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan
      Pages 271-277 Open Access
    6. David Castro, Francisco Ferreira, Nobuko Yoshida
      Pages 278-285 Open Access
  6. Games and Automata

    1. Front Matter
      Pages 287-287
    2. Massimo Benerecetti, Daniele Dell’Erba, Fabio Mogavero
      Pages 289-306 Open Access
    3. Thomas Neele, Tim A. C. Willemse, Wieger Wesselink
      Pages 307-324 Open Access
    4. Dana Angluin, Dana Fisman, Yaara Shoval
      Pages 325-343 Open Access
  7. SV-COMP 2020

    1. Front Matter
      Pages 345-345
    2. Dirk Beyer
      Pages 347-367 Open Access
    3. Viktor Malík, Peter Schrammel, Tomáš Vojnar
      Pages 368-372 Open Access
    4. Willem Visser, Jaco Geldenhuys
      Pages 373-377 Open Access
    5. Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer
      Pages 378-382 Open Access
    6. Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta et al.
      Pages 383-387 Open Access
    7. Benjamin Quiring, Panagiotis Manolios
      Pages 388-392 Open Access
    8. Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
      Pages 393-397 Open Access
    9. Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo Barreto
      Pages 403-407 Open Access
    10. Petr Peringer, Veronika Šoková, Tomáš Vojnar
      Pages 408-412 Open Access
    11. Marek Chalupa, Tomáš Jašek, Lukáš Tomovič, Martin Hruška, Veronika Šoková, Paulína Ayaziová et al.
      Pages 413-417 Open Access
    12. Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
      Pages 418-422 Open Access
  8. Back Matter
    Pages 423-425

Other volumes

  1. 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
  2. Tools and Algorithms for the Construction and Analysis of Systems
    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

About these proceedings

Introduction

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:
Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.
Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. 

Keywords

open access specification and verification techniques software and hardware verification SAT and SMT solving theorem proving model checking static and dynamic program analysis testing system construction and transformation techniques tool environments and tool architectures abstraction techniques for modeling and verification compositional and refinement-based methodologies mathematics software engineering software design architecting software architecture embedded systems automata theory linguistics

Editors and affiliations

  1. 1.Johannes Kepler UniversityLinzAustria
  2. 2.University of BirminghamBirminghamUK

Bibliographic information