Pages that link to "Item:Q1856194"

The following pages link to Kronos: A verification tool for real-time systems (Q1856194):

Displayed 30 items.

• Kronos (Q14010) ‎ (← links)
• Checking timed Büchi automata emptiness efficiently (Q816203) ‎ (← links)
• How to stop time stopping (Q855006) ‎ (← links)
• Model checking of time Petri nets using the state class timed automaton (Q859736) ‎ (← links)
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) ‎ (← links)
• Hybridization methods for the analysis of nonlinear systems (Q868432) ‎ (← links)
• Semantics and pragmatics of real-time maude (Q880982) ‎ (← links)
• When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) ‎ (← links)
• Implementation and analysis of real-time communication protocol compositions (Q995821) ‎ (← links)
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) ‎ (← links)
• M-nets: a survey (Q1006339) ‎ (← links)
• The power of reachability testing for timed automata (Q1399974) ‎ (← links)
• Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) ‎ (← links)
• Specification of real-time and hybrid systems in rewriting logic (Q1608921) ‎ (← links)
• A brief history of process algebra (Q1781995) ‎ (← links)
• Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) ‎ (← links)
• Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) ‎ (← links)
• Presburger liveness verification of discrete timed automata. (Q1874402) ‎ (← links)
• Updatable timed automata (Q1885906) ‎ (← links)
• Scheduling with timed automata (Q2368955) ‎ (← links)
• Constructing invariants for hybrid systems (Q2475635) ‎ (← links)
• A control synthesis approach for time discrete event systems (Q2489593) ‎ (← links)
• A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) ‎ (← links)
• A theory of stochastic systems. I: Stochastic automata (Q2575854) ‎ (← links)
• Predicate diagrams for the verification of real-time systems (Q2642985) ‎ (← links)
• Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions (Q3540075) ‎ (← links)
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) ‎ (← links)
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets (Q3613087) ‎ (← links)
• (Q4945220) ‎ (← links)
• Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) ‎ (← links)