Extending CTL with Actions and Real Time

DOI10.1093/LOGCOM/12.4.607MaRDI QIDQ3146303zbMATH OpenOpenAlexFDO

Authors David N. Jansen, R. 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

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

Recommendations

• Model-checking timed temporal logics
• ACTLW -- an action-based computation tree logic with unless operator
• Timed CTL model checking in Real-Time Maude
• scientific article; zbMATH DE number 176728
• Model checking of RegCTL

Cited in

(4)

• ACTLW -- an action-based computation tree logic with unless operator
• A Tableau for Bundled CTL
• On Extending Actions
• Detecting synchronisation of biological oscillators by model checking

Describes a project that uses

Uses Software

• Kronos
• Woflan

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3146303)