Embedding time granularity in a logical specification language for synchronous real-time systems

DOI10.1016/0167-6423(93)90025-KzbMATH Open0781.68083MaRDI QIDQ685609FDOQ685609

Authors E. Ciapessoni, E. Corsetti, Angelo Montanari, Pierluigi San Pietro 

Publication date 17 October 1993

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

real-time systemsgranular systemsspecification languagespecificationsmetric temporal logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logical specification of reactive and real-time systems
• scientific article; zbMATH DE number 4128370
• A really temporal logic
• A survey on temporal logics for specifying and verifying real-time systems
• Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity

Cited in

(6)

• A timeband framework for modelling real-time systems
• Completeness results for two-sorted metric temporal logics
• Modelling temporal behaviour in complex systems with Timebands
• Decidability results for metric and layered temporal logics
• Two-sorted metric temporal logics
• scientific article; zbMATH DE number 5044784 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Embedding time granularity in a logical specification language for synchronous real-time systems

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