Advertisement

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

  • Tomáš Vojnar
  • Lijun Zhang
Open Access
Conference proceedings
TACAS 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. SAT and SMT I

    1. Front Matter
      Pages 1-1
    2. Martin Blicha, Antti E. J. Hyvärinen, Jan Kofroň, Natasha Sharygina
      Pages 3-20 Open Access
    3. Muhammad Osama, Anton Wijs
      Pages 21-40 Open Access
    4. Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
      Pages 41-58 Open Access
    5. Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
      Pages 59-76 Open Access
  3. SAT and SMT II

    1. Front Matter
      Pages 77-77
    2. Martin Brain, Florian Schanda, Youcheng Sun
      Pages 79-98 Open Access
    3. Nils Becker, Peter Müller, Alexander J. Summers
      Pages 99-116 Open Access
    4. Thomas Bläsius, Tobias Friedrich, Andrew M. Sutton
      Pages 117-134 Open Access
    5. Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
      Pages 135-151 Open Access
  4. SAT Solving and Theorem Proving

    1. Front Matter
      Pages 153-153
    2. Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
      Pages 155-173 Open Access
    3. Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
      Pages 174-191 Open Access
    4. Petar Vukmirović, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
      Pages 192-210 Open Access
  5. Verification and Analysis

    1. Front Matter
      Pages 211-211
    2. Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
      Pages 213-225 Open Access
    3. Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz
      Pages 226-243 Open Access
    4. Benjamin Bisping, Uwe Nestmann
      Pages 244-261 Open Access
    5. Christian Sternagel, Akihisa Yamada
      Pages 262-278 Open Access
  6. Model Checking

    1. Front Matter
      Pages 279-279
    2. Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
      Pages 281-298 Open Access
    3. Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
      Pages 299-315 Open Access
    4. Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
      Pages 316-333 Open Access
  7. Tool Demos

    1. Front Matter
      Pages 335-335
    2. Florian Meßner, Christian Sternagel
      Pages 337-343 Open Access
    3. Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
      Pages 344-350 Open Access
    4. Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
      Pages 351-357 Open Access
    5. Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
      Pages 358-364 Open Access
    6. Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
      Pages 365-371 Open Access
    7. Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu
      Pages 372-378 Open Access
    8. Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
      Pages 379-385 Open Access
    9. Gianluca Barbon, Vincent Leroy, Gwen Salaün
      Pages 386-392 Open Access
  8. Machine Learning

    1. Front Matter
      Pages 393-393
    2. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
      Pages 395-412 Open Access
    3. Nathan Fulton, André Platzer
      Pages 413-430 Open Access
  9. Back Matter
    Pages 431-433

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. 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. 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 debugging formal logic formal methods model checking parallel processing systems program debugging programming languages satisfiability semantics software engineering software evaluation specifications verification

Editors and affiliations

  1. 1.Brno University of TechnologyBrnoCzech Republic
  2. 2.Chinese Academy of SciencesBeijingChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-17462-0
  • 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-17461-3
  • Online ISBN 978-3-030-17462-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site