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

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

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

Publication date: 17 October 1993

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

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

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)

Cited In (6)

• Two-sorted metric temporal logics
• Modelling temporal behaviour in complex systems with Timebands
• Title not available (Why is that?)
• Decidability results for metric and layered temporal logics
• Completeness results for two-sorted metric temporal logics
• A timeband framework for modelling real-time systems

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)