scientific article; zbMATH DE number 6117314

zbMATH Open1265.68069MaRDI QIDQ3145302FDOQ3145302

Authors: George Eleftherakis, Anna Sotiriadou, Petros Kefalas Edit this on Wikidata

Publication date: 19 December 2012

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

model checkingtemporal logicdynamic systemsfinite state machineX-machinesXmCTL

Mathematics Subject Classification ID

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

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)