Specifying message passing and time-critical systems with temporal logic

DOI10.1007/3-540-56283-4zbMath0806.68074OpenAlexW2112494651MaRDI QIDQ684564

Ron Koymans

Publication date: 20 September 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/specifying-message-passing-and-timecritical-systems-with-temporal-logic(55a75f5e-43b9-483c-ab3e-8b206d56d515).html

zbMATH Keywords

temporal logicspecificationtime-critical systemsmessage passing systemsmulti-modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (13)

Duration calculus: Logical foundations ⋮ Compositional verification of real-time systems with explicit clock temporal logic ⋮ Programming in metric temporal logic ⋮ Early verification and validation of mission critical systems ⋮ SMT-based satisfiability of first-order LTL with event freezing functions and metric operators ⋮ Unnamed Item ⋮ Metric temporal logic with durations ⋮ Axioms for real-time logics ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Inequality without irreflexivity ⋮ Decidability results for metric and layered temporal logics ⋮ Formalization of Invariant Patterns for the Invariant Refinement Method ⋮ A Hybridization of Irreflexive Modal Logics

This page was built for publication: Specifying message passing and time-critical systems with temporal logic