The following pages link to Yonit Kesten (Q208769):
Displayed 16 items.
- Verification of clocked and hybrid systems (Q1579058) (← links)
- A compositional approach to CTL\(^*\) verification (Q1770366) (← links)
- Item:Q208769 (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)
- (Q4484475) (← links)
- (Q4484481) (← links)
- (Q4736998) (← links)
- Complete Proof System for QPTL (Q4779585) (← links)
- (Q4945222) (← links)
- Computer Aided Verification (Q5900692) (← links)
- Verification by augmented abstraction: The automata-theoretic view (Q5946060) (← links)