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

Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

  • This book is open access, which means that you have free and unlimited access

Conference proceedings info: TACAS 2022.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (31 papers)

  1. Front Matter

    Pages i-xxii
  2. Synthesis

    1. Front Matter

      Pages 1-1
    2. HOLL: Program Synthesis for Higher Order Logic Locking

      • Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy
      Pages 3-24Open Access
    3. The Complexity of LTL Rational Synthesis

      • Orna Kupferman, Noam Shenwald
      Pages 25-45Open Access
    4. Synthesis of Compact Strategies for Coordination Programs

      • Kedar S. Namjoshi, Nisarg Patel
      Pages 46-63Open Access
    5. ZDD Boolean Synthesis

      • Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
      Pages 64-83Open Access
  3. Verification

    1. Front Matter

      Pages 85-85
    2. Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

      • André Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey et al.
      Pages 87-105Open Access
    3. Verifying Fortran Programs with CIVL

      • Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Stephen F. Siegel
      Pages 106-124Open Access
    4. NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems

      • Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati et al.
      Pages 125-142Open Access
    5. Efficient Neural Network Analysis with Sum-of-Infeasibilities

      • Haoze Wu, Aleksandar Zeljić, Guy Katz, Clark Barrett
      Pages 143-163Open Access
  4. Blockchain

    1. Front Matter

      Pages 165-165
    2. Formal Verification of the Ethereum 2.0 Beacon Chain

      • Franck Cassez, Joanne Fuller, Aditya Asgaonkar
      Pages 167-182Open Access
    3. Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

      • David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Emma Zhong
      Pages 183-200Open Access
    4. A Max-SMT Superoptimizer for EVM handling Memory and Storage

      • Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio
      Pages 201-219Open Access
  5. Grammatical Inference

    1. Front Matter

      Pages 221-221
    2. A New Approach for Active Automata Learning Based on Apartness

      • Frits Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
      Pages 223-243Open Access
    3. Learning Realtime One-Counter Automata

      • Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
      Pages 244-262Open Access
    4. Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

      • Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
      Pages 263-280Open Access
    5. Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

      • Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský, Laura Nenzi
      Pages 281-300Open Access

Other Volumes

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

About this book

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.

TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.



  • formal languages and automata theory
  • Formal methods and theory of security
  • Machine learning
  • Modeling and simulation
  • Semantics and reasoning
  • signal processing
  • software and hardware verification
  • specification and verification techniques
  • Symbolic and algebraic manipulation
  • system construction and transformation techniques

Editors and Affiliations

  • Ben-Gurion University of the Negev, Be'er Sheva, Israel

    Dana Fisman

  • University of Illinois Urbana-Champaign, Urbana, USA

    Grigore Rosu

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)