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

DOI10.1016/0167-6423(93)90025-KMaRDI QIDQ685609zbMATH OpenFDO

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)

Full work available at URL https://doi.org/10.1016/0167-6423(93)90025-K

zbMATH Keywords

granular systemsmetric temporal logicsreal-time systemsspecification languagespecifications

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)

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

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)