Litcius/Paper detail

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote, Kim G. Larsen

2021Lecture notes in computer science35 citationsDOIOpen Access PDF

Abstract

The open access TACAS 2021 proceedings deal with tools and algorithms for the construction and analysis of systems

Topics & Concepts

Computer scienceAlgorithmFormal Methods in VerificationLogic, programming, and type systemsEmbedded Systems Design Techniques
Tools and Algorithms for the Construction and Analysis of Systems | Litcius