The following pages link to (Q4037378):
Displaying 19 items.
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- Time-budgeting: a component based development methodology for real-time embedded systems (Q736795) (← links)
- Collecting statistics over runtime executions (Q812051) (← links)
- From liveness to promptness (Q1039845) (← links)
- A theory of timed automata (Q1322162) (← links)
- On the expressivity and complexity of quantitative branching-time temporal logics (Q1401306) (← links)
- Processing disjunctions in temporal constraint networks (Q1402717) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- The Verus language: Representing time efficiently with BDDs (Q1589589) (← links)
- Semantics of temporal constrained objects (Q1996867) (← links)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings (Q2576952) (← links)
- Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system (Q2637309) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking (Q4571143) (← links)
- (Q5111251) (← links)
- Meanings of Model Checking (Q5187832) (← links)
- What good are digital clocks? (Q5204346) (← links)
- Min-max Computation Tree Logic (Q5940962) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
