Model Checking Timed Recursive CTL.

DOI10.4230/LIPICS.TIME.2021.12OpenAlexW3201820046MaRDI QIDQ6080277

Martin Lange, Florian Bruse

Publication date: 2 October 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.TIME.2021.12

zbMATH Keywords

real-time systemsformal specificationtemporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Model Checking Timed Recursive CTL.