The following pages link to Yonit Kesten (Q208769):
Displaying 10 items.
- Verification of clocked and hybrid systems (Q1579058) (← links)
- A compositional approach to CTL\(^*\) verification (Q1770366) (← links)
- (Q1854271) (redirect page) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Verification by augmented finitary abstraction (Q1854391) (← links)
- Control and data abstraction: The cornerstones of practical formal verification (Q1856157) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Model checking with strong fairness (Q2505624) (← links)
- (Q2767987) (← links)
- Complete Proof System for QPTL (Q4779585) (← links)
