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

DOI10.1016/0167-6423(93)90025-KzbMath0781.68083MaRDI QIDQ685609

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

Publication date: 17 October 1993

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

zbMATH Keywords

real-time systemsspecification languagespecificationsgranular systemsmetric temporal logics

Mathematics Subject Classification ID

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

Related Items

Completeness results for two-sorted metric temporal logics ⋮ Two-sorted metric temporal logics ⋮ Modelling temporal behaviour in complex systems with Timebands ⋮ A timeband framework for modelling real-time systems ⋮ Decidability results for metric and layered temporal logics

Uses Software

• LOTOS