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

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Conference proceedings info: TACAS 2021.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (24 papers)

  1. Timed Systems

    1. Timed Automata Relaxation for Reachability

      • Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
      Pages 291-310Open Access
    2. Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

      • Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
      Pages 311-329Open Access
    3. Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

      • Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
      Pages 330-348Open Access
  2. Neural Networks

    1. Front Matter

      Pages 349-349
    2. Synthesizing Context-free Grammars from Recurrent Neural Networks

      • Daniel M. Yellin, Gail Weiss
      Pages 351-369Open Access
    3. Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

      • Andrea Peruffo, Daniele Ahmed, Alessandro Abate
      Pages 370-388Open Access
    4. Improving Neural Network Verification through Spurious Region Guided Refinement

      • Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun et al.
      Pages 389-408Open Access
  3. Analysis of Network Communication

    1. Front Matter

      Pages 409-409
    2. Resilient Capacity-Aware Routing

      • Stefan Schmid, Nicolas Schnepf, Jiří Srba
      Pages 411-429Open Access
    3. Network Traffic Classification by Program Synthesis

      • Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur
      Pages 430-448Open Access
    4. General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

      • Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
      Pages 449-467Open Access
  4. Back Matter

    Pages 469-471

Other Volumes

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

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
  2. Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

About this book

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers.

The papers are organized in topical sections as follows:

Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication.

Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

Keywords

  • architecture verification and validation
  • artificial intelligence
  • automata theory
  • computer networks
  • embedded systems
  • formal languages
  • formal logic
  • linguistics
  • mathematics
  • model checking
  • model-checking
  • SAT and SMT solving
  • signal processing
  • software and hardware verification
  • software architecture
  • software engineering
  • specification and verification techniques
  • static and dynamic program analysis
  • system construction and transforamtion techniques
  • theorem-proving

Editors and Affiliations

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Jan Friso Groote

  • Aalborg University, Aalborg East, Denmark

    Kim Guldstrand Larsen

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)