Advertisement

© 2019

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

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