Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68066OpenAlexW2497867240MaRDI QIDQ5703800

Andreas Podelski, Amir Pnueli, Andrey Rybalchenko

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Explicit Fair Scheduling for Dynamic Control

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems