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 I

Conference proceedings info: TACAS 2018.

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (22 papers)

  1. Model Checking

    1. Front Matter

      Pages 289-289
    2. More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( \(D^{3}\) )

      • Rohit Dureja, Kristin Yvonne Rozier
      Pages 309-327Open Access
    3. Generation of Minimum Tree-Like Witnesses for Existential CTL

      • Chuan Jiang, Gianfranco Ciardo
      Pages 328-343Open Access
    4. From Natural Projection to Partial Model Checking and Back

      • Gabriele Costa, David Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
      Pages 344-361Open Access
  2. Machine Learning

    1. Front Matter

      Pages 363-363
    2. ICE-Based Refinement Type Discovery for Higher-Order Functional Programs

      • Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
      Pages 365-384Open Access
    3. Strategy Representation by Decision Trees in Reactive Synthesis

      • Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Viktor Toman
      Pages 385-407Open Access
    4. Feature-Guided Black-Box Safety Testing of Deep Neural Networks

      • Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
      Pages 408-426Open Access
  3. Back Matter

    Pages 427-429

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.


  • authentication
  • computer science
  • computer software selection and evaluation
  • cryptography
  • data privacy
  • formal logic
  • formal methods
  • formal specification
  • internet
  • privacy
  • program compilers
  • programming languages
  • security systems
  • semantics
  • separation logic
  • software engineering
  • specifications
  • verification
  • world wide web

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)