Advertisement

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
    5. Geometric Nontermination Arguments
      Jan Leike, Matthias Heizmann
      Pages 266-283 Open Access
      PDF

  6. Hybrid and Stochastic Systems

    1. Front Matter
      Pages 285-285
      PDF
    2. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
      Stefan Schupp, Erika Ábrahám
      Pages 287-302 Open Access
      PDF
    3. AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
      Dejan Ničković, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
      Pages 303-319 Open Access
      PDF
    4. Multi-cost Bounded Reachability in MDP
      Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
      Pages 320-339 Open Access
      PDF
    5. A Statistical Model Checker for Nondeterminism and Rare Events
      Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
      Pages 340-358 Open Access
      PDF

  7. Temporal Logic and Mu-calculus

    1. Front Matter
      Pages 359-359
      PDF
    2. Permutation Games for the Weakly Aconjunctive \(\mu \)-Calculus
      Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
      Pages 361-378 Open Access
      PDF
    3. Symmetry Reduction for the Local Mu-Calculus
      Kedar S. Namjoshi, Richard J. Trefler
      Pages 379-395 Open Access
      PDF
    4. Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models
      Luca Bortolussi, Simone Silvetti
      Pages 396-413 Open Access
      PDF

  8. 7th Competition on Software Verification (SV-COMP)

    1. Front Matter
      Pages 415-415
      PDF
    2. 2LS: Memory Safety and Non-termination
      Viktor Malík, Štefan Martiček, Peter Schrammel, Mandayam Srivas, Tomáš Vojnar, Johanan Wahlang
      Pages 417-421 Open Access
      PDF
    3. YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement
      Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
      Pages 422-426 Open Access
      PDF
    4. CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis
      Pavel Andrianov, Vadim Mutilin, Mikhail Mandrykin, Anton Vasilyev
      Pages 427-431 Open Access
      PDF
    5. InterpChecker: Reducing State Space via Interpolations
      Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong
      Pages 432-436 Open Access
      PDF
    6. Map2Check Using LLVM and KLEE
      Rafael Menezes, Herbert Rocha, Lucas Cordeiro, Raimundo Barreto
      Pages 437-441 Open Access
      PDF
    7. Symbiotic 5: Boosted Instrumentation
      Marek Chalupa, Martina Vitovská, Jan Strejček
      Pages 442-446 Open Access
      PDF
    8. Ultimate Automizer and the Search for Perfect Interpolants
      Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li et al.
      Pages 447-451 Open Access
      PDF
    9. Ultimate Taipan with Dynamic Block Encoding
      Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski et al.
      Pages 452-456 Open Access
      PDF
    10. VeriAbs: Verification by Abstraction and Test Generation
      Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basakchowdhury et al.
      Pages 457-462 Open Access
      PDF
  9. Back Matter
    Pages 463-465
    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-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
  • License CC BY
  • 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
  • Buy this book on publisher's site