Litcius/Paper detail

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

2023Lecture notes in computer science14 citationsDOIOpen Access PDF

Abstract

The open access TACAS 2023 proceedings focus on rigorously based tools and algorithms for the construction and analysis of systems.

Topics & Concepts

Computer scienceFocus (optics)AlgorithmSoftware engineeringOpticsPhysicsModel-Driven Software Engineering Techniques
Tools and Algorithms for the Construction and Analysis of Systems | Litcius