Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

  • Dirk Beyer
  • Marieke Huisman
Open Access
Conference proceedings
TACAS 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XX
  2. Concurrent and Distributed Systems

    1. Front Matter
      Pages 1-1
    2. Philipp J. Meyer, Javier Esparza, Hagen Völzer
      Pages 3-19 Open Access
    3. Peter Chini, Roland Meyer, Prakash Saivasan
      Pages 20-37 Open Access
    4. A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
      Pages 38-54 Open Access
    5. Cristian Mattarei, Clark Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
      Pages 55-71 Open Access
  3. SAT and SMT II

    1. Front Matter
      Pages 73-73
    2. Marijn J. H. Heule, Armin Biere
      Pages 75-92 Open Access
    3. Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
      Pages 112-131 Open Access
    4. Pierre Roux, Mohamed Iguernlala, Sylvain Conchon
      Pages 132-151 Open Access
  4. Security and Reactive Systems

    1. Front Matter
      Pages 153-153
    2. Milan Češka, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar
      Pages 155-175 Open Access
    3. Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel et al.
      Pages 176-193 Open Access
    4. Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
      Pages 194-200 Open Access
    5. Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
      Pages 201-208 Open Access
  5. Static and Dynamic Program Analysis

    1. Front Matter
      Pages 209-209
    2. Lina Marsso, Radu Mateescu, Wendelin Serwe
      Pages 211-228 Open Access
    3. Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
      Pages 229-248 Open Access
    4. Elena Sherman, Matthew B. Dwyer
      Pages 249-265 Open Access

Other volumes

  1. 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
  2. Tools and Algorithms for the Construction and Analysis of Systems
    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

About these proceedings

Introduction

This book is Open Access under a CC BY licence.

Keywords

computer architecture computer software selection and evaluation formal logic formal methods model checker model checking multi core processors program compilers programming languages semantics software engineering specifications state space verification

Editors and affiliations

  1. 1.Ludwig-Maximilians-Universität MünchenMunichGermany
  2. 2.University of TwenteEnschedeThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-89963-3
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89962-6
  • Online ISBN 978-3-319-89963-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book