A Graph-Theoretic Approach for Timing Analysis and its Implementation

DOI10.1109/TC.1987.5009519zbMath0618.68008OpenAlexW2038995301MaRDI QIDQ4728220

Farnam Jahanian, Aloysius K. Mok

Publication date: 1987

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.1987.5009519

zbMATH Keywords

verificationsafety analysissystem specificationgraph-theoretic algorithm for safety analysisreal time logicsafety assertiontime-critical systemtiming properties in real-time systems

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (11)

Formal timing analysis for distributed real-time programs ⋮ A logic for reasoning about time and reliability ⋮ Counting for satisfiability by inverting resolution ⋮ A temporal logic for real-time partial-ordering with named transactions ⋮ A process algebra of communicating shared resources with dense time and priorities ⋮ A temporal logic for real-time partial ordering with named transactions ⋮ Optimizing path real-time logic for unified real-time system ⋮ Using mappings to prove timing properties ⋮ A rigorous methodology for specification and verification of business processes ⋮ Integrating on-line performance visualization and real-time system design ⋮ A theory of timed automata

This page was built for publication: A Graph-Theoretic Approach for Timing Analysis and its Implementation