A Graph-Theoretic Approach for Timing Analysis and its Implementation
From MaRDI portal
Publication:4728220
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
verificationsafety analysissystem specificationgraph-theoretic algorithm for safety analysisreal time logicsafety assertiontime-critical systemtiming properties in real-time systems
Related Items
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
