Skip to main content
SpringerLink
Log in

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Axel Legay

    1. Inria, Rennes Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tiziana Margaria

    1. University of Limerick and Lero - The Irish Software Research Center, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TACAS 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages I-XXIV
    Download chapter PDF

  2. Security

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions

      • Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
      Pages 3-20

    3. Discriminating Traces with Time

      • Saeid Tizpaz-Niari, Pavol ÄŒerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
      Pages 21-37

    4. Directed Automated Memory Performance Testing

      • Sudipta Chattopadhyay
      Pages 38-55

    5. Context-Bounded Analysis for POWER

      • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
      Pages 56-74

  3. Run-Time Verification and Logic

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

      • Noel Brett, Umair Siddique, Borzoo Bonakdarpour
      Pages 77-93

    3. Almost Event-Rate Independent Monitoring of Metric Temporal Logic

      • David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
      Pages 94-112

    4. Optimal Translation of LTL to Limit Deterministic Automata

      • Dileep Kini, Mahesh Viswanathan
      Pages 113-129

  4. Quantitative Systems I

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Sequential Convex Programming for the Efficient Verification of Parametric MDPs

      • Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala et al.
      Pages 133-150

    3. JANI: Quantitative Model and Tool Interaction

      • Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
      Pages 151-168

    4. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults

      • Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodriguez-Navas
      Pages 169-187

    5. Long-Run Rewards for Markov Automata

      • Yuliya Butkova, Ralf Wimmer, Holger Hermanns
      Pages 188-203

  5. SAT and SMT

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. HiFrog: SMT-based Function Summarization for Software Verification

      • Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen et al.
      Pages 207-213

    3. Congruence Closure with Free Variables

      • Haniel Barbosa, Pascal Fontaine, Andrew Reynolds
      Pages 214-230

    4. On Optimization Modulo Theories, MaxSMT and Sorting Networks

      • Roberto Sebastiani, Patrick Trentin
      Pages 231-248

    5. The Automatic Detection of Token Structures and Invariants Using SAT Checking

      • Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
      Pages 249-265
Back to top

Other volumes

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

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

Keywords

About this book

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP. 

Editors and Affiliations

  • Inria, Rennes Cedex, France

    Axel Legay

  • University of Limerick and Lero - The Irish Software Research Center, Limerick, Ireland

    Tiziana Margaria

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation