`Travelled to:`

1 × Denmark

1 × France

1 × Greece

1 × Israel

1 × Italy

1 × Spain

2 × USA

`Collaborated with:`

A.Pnueli N.Piterman L.D.Zuck L.Raviv A.Klein G.Raanan Z.Manna H.McGuire O.Maler M.Marcus E.Shahar

`Talks about:`

verif (3) algorithm (2) verifi (2) tempor (2) model (2) logic (2) check (2) probabilist (1) ssertion (1) proposit (1)

## Person: Yonit Kesten

### DBLP: Kesten:Yonit

### Contributed to:

### Wrote 8 papers:

- CAV-2003-KestenPP #simulation
- Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.
- VMCAI-2002-ZuckPK #automation #probability #verification
- Automatic Verification of Probabilistic Free Choice (LDZ, AP, YK), pp. 208–224.
- CSL-1999-KestenP #abstraction #liveness #verification
- Verifying Liveness by Augmented Abstraction (YK, AP), pp. 141–156.
- FM-v1-1999-KestenKPR #analysis #deduction #model checking #verification
- A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software (YK, AK, AP, GR), pp. 173–194.
- ICALP-1998-KestenPR #algorithm #linear #logic #specification #verification
- Algorithmic Verification of Linear Temporal Logic Specifications (YK, AP, LoR), pp. 1–16.
- CAV-1997-KestenMMPS #model checking
- Symbolic Model Checking with Rich ssertional Languages (YK, OM, MM, AP, ES), pp. 424–435.
- LICS-1995-KestenP #proving
- A Complete Proof Systems for QPTL (YK, AP), pp. 2–12.
- CAV-1993-KestenMMP #algorithm #logic
- A Decision Algorithm for Full Propositional Temporal Logic (YK, ZM, HM, AP), pp. 97–109.