scientific article; zbMATH DE number 6117314

MaRDI QIDQ3145302zbMATH OpenFDO

Authors George Eleftherakis, Anna Sotiriadou, Petros Kefalas

Publication date 19 December 2012

zbMATH Keywords

model checkingtemporal logicdynamic systemsfinite state machineX-machinesXmCTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking timed temporal logics
• On using temporal logic for refinement and compositional verification of concurrent systems
• scientific article; zbMATH DE number 1744956
• Implementing Temporal Logics: Tools for Execution and Proof
• Temporal specifications with XTUS. A hierarchical algebraic approach
• scientific article; zbMATH DE number 2090074
• Specification and verification using temporal logics
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
• A model checker for linear time temporal logic

Cited in

(1)

• Model checking safety-critical systems specified as X-machines

This page was built for publication:

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