Skip to main content
  • Conference proceedings
  • Open Access
  • © 2018

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

Conference proceedings info: TACAS 2018.

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (32 papers)

  1. Front Matter

    Pages I-XX
  2. Concurrent and Distributed Systems

    1. Front Matter

      Pages 1-1
    2. Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets

      • Philipp J. Meyer, Javier Esparza, Hagen Völzer
      Pages 3-19Open Access
    3. Fine-Grained Complexity of Safety Verification

      • Peter Chini, Roland Meyer, Prakash Saivasan
      Pages 20-37Open Access
    4. Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks

      • A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
      Pages 38-54Open Access
    5. EMME: A Formal Tool for ECMAScript Memory Model Evaluation

      • Cristian Mattarei, Clark Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
      Pages 55-71Open Access
  3. SAT and SMT II

    1. Front Matter

      Pages 73-73
    2. What a Difference a Variable Makes

      • Marijn J. H. Heule, Armin Biere
      Pages 75-92Open Access
    3. Revisiting Enumerative Instantiation

      • Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
      Pages 112-131Open Access
    4. A Non-linear Arithmetic Procedure for Control-Command Software Verification

      • Pierre Roux, Mohamed Iguernlala, Sylvain Conchon
      Pages 132-151Open Access
  4. Security and Reactive Systems

    1. Front Matter

      Pages 153-153
    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-175Open Access
    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-193Open Access
    4. \(\text {RVHyper}\) : A Runtime Verification Tool for Temporal Hyperproperties

      • Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
      Pages 194-200Open Access
    5. The Refinement Calculus of Reactive Systems Toolset

      • Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
      Pages 201-208Open Access
  5. Static and Dynamic Program Analysis

    1. Front Matter

      Pages 209-209
    2. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

      • Lina Marsso, Radu Mateescu, Wendelin Serwe
      Pages 211-228Open Access
    3. Optimal Dynamic Partial Order Reduction with Observers

      • Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
      Pages 229-248Open Access
    4. Structurally Defined Conditional Data-Flow Static Analysis

      • Elena Sherman, Matthew B. Dwyer
      Pages 249-265Open Access

Other Volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems

About this book

This book is Open Access under a CC BY licence.

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.

The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:

Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.

Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.


  • 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

  • Ludwig-Maximilians-Universität München, Munich, Germany

    Dirk Beyer

  • University of Twente, Enschede, The Netherlands

    Marieke Huisman

Bibliographic Information

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)