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
    PDF

  2. Concurrent and Distributed Systems

    1. Front Matter
      Pages 1-1
      PDF
    2. Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets
      Philipp J. Meyer, Javier Esparza, Hagen Völzer
      Pages 3-19 Open Access
      PDF
    3. Fine-Grained Complexity of Safety Verification
      Peter Chini, Roland Meyer, Prakash Saivasan
      Pages 20-37 Open Access
      PDF
    4. Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks
      A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
      Pages 38-54 Open Access
      PDF
    5. EMME: A Formal Tool for ECMAScript Memory Model Evaluation
      Cristian Mattarei, Clark Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
      Pages 55-71 Open Access
      PDF

  3. SAT and SMT II

    1. Front Matter
      Pages 73-73
      PDF
    2. What a Difference a Variable Makes
      Marijn J. H. Heule, Armin Biere
      Pages 75-92 Open Access
      PDF
    3. Abstraction Refinement for Emptiness Checking of Alternating Data Automata
      Radu Iosif, Xiao Xu
      Pages 93-111 Open Access
      PDF
    4. Revisiting Enumerative Instantiation
      Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
      Pages 112-131 Open Access
      PDF
    5. A Non-linear Arithmetic Procedure for Control-Command Software Verification
      Pierre Roux, Mohamed Iguernlala, Sylvain Conchon
      Pages 132-151 Open Access
      PDF

  4. Security and Reactive Systems

    1. Front Matter
      Pages 153-153
      PDF
    2. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection
      Milan Češka, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar
      Pages 155-175 Open Access
      PDF
    3. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
      Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel et al.
      Pages 176-193 Open Access
      PDF
    4. \(\text {RVHyper}\): A Runtime Verification Tool for Temporal Hyperproperties
      Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
      Pages 194-200 Open Access
      PDF
    5. The Refinement Calculus of Reactive Systems Toolset
      Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
      Pages 201-208 Open Access
      PDF

  5. Static and Dynamic Program Analysis

    1. Front Matter
      Pages 209-209
      PDF
    2. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
      Lina Marsso, Radu Mateescu, Wendelin Serwe
      Pages 211-228 Open Access
      PDF
    3. Optimal Dynamic Partial Order Reduction with Observers
      Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
      Pages 229-248 Open Access
      PDF
    4. Structurally Defined Conditional Data-Flow Static Analysis
      Elena Sherman, Matthew B. Dwyer
      Pages 249-265 Open Access
      PDF

Other volumes

  1. 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 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 Maximilian University of MunichMunichGermany
  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