Skip to main content

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

  • Conference proceedings
  • Open Access
  • © 2023

You have full access to this open access Conference proceedings

Overview

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

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

Included in the following conference series:

Conference proceedings info: TACAS 2023.

Buy print copy

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Softcover Book USD 49.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

About this book

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.

The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions.

The proceedings also contain 1 invited talk in full paper length, 13 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, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

 

Similar content being viewed by others

Keywords

Table of contents (35 papers)

  1. Invited Talk

  2. Model Checking

  3. Machine Learning/Neural Networks

  4. Automata

Other volumes

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

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

Editors and Affiliations

  • University of Colorado, Boulder, USA

    Sriram Sankaranarayanan

  • University of Lugano, Lugano, Switzerland

    Natasha Sharygina

Bibliographic Information

  • Book Title: Tools and Algorithms for the Construction and Analysis of Systems

  • Book Subtitle: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

  • Editors: Sriram Sankaranarayanan, Natasha Sharygina

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-30823-9

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s) 2023

  • Softcover ISBN: 978-3-031-30822-2Published: 22 April 2023

  • eBook ISBN: 978-3-031-30823-9Published: 21 April 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXIII, 708

  • Number of Illustrations: 53 b/w illustrations, 140 illustrations in colour

  • Topics: Theory of Computation

Publish with us