Counting CTL
From MaRDI portal
Publication:3557853
DOI10.1007/978-3-642-12032-9_15zbMath1284.03149arXiv1211.4651OpenAlexW2911584291MaRDI QIDQ3557853
Eudes Petonnet, Antoine Meyer, François Laroussinie
Publication date: 27 April 2010
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1211.4651
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (9)
A survey on temporal logics for specifying and verifying real-time systems ⋮ Pebble Weighted Automata and Weighted Logics ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL ⋮ Unnamed Item ⋮ Efficient data validation for geographical interlocking systems ⋮ Model-Checking Counting Temporal Logics on Flat Structures ⋮ Making Metric Temporal Logic Rational ⋮ Interactive verification of architectural design patterns in FACTum
This page was built for publication: Counting CTL