Extending CTL with Actions and Real Time

DOI10.1093/LOGCOM/12.4.607zbMath1001.68076OpenAlexW2848887102MaRDI QIDQ3146303

David N. Jansen, R. J. Wieringa

Publication date: 15 December 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/0597eadbca45d2d0b324f7d50b75af30a19f2f18

zbMATH Keywords

logic ATCTLmodel checking models

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Detecting synchronisation of biological oscillators by model checking

Uses Software

• Woflan
• Unnamed Item

This page was built for publication: Extending CTL with Actions and Real Time