Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2017

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

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)

Conference series link(s): TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference proceedings info: TACAS 2017.

Sections

Buy it now

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

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

Table of contents (32 papers)

  1. Front Matter

    Pages I-XXIV
    PDF

  2. Security

    1. Front Matter

      Pages 1-1
      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
      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
      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
      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

Back to top

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. 

Back to top

Keywords

Back to top

Editors and Affiliations

  • Inria, Rennes Cedex, France

    Axel Legay

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

    Tiziana Margaria

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top

Societies and partnerships

Access via your institution

Buy it now

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

Search

Navigation