`Travelled to:`

2 × USA

`Collaborated with:`

N.Bjørner E.Y.Chang M.Colón A.Kapur Z.Manna H.Sipma T.E.Uribe D.E.Long E.M.Clarke S.Jha W.R.Marrero L.d.Alfaro H.Devarajan J.Lee

`Talks about:`

algorithm (2) step (2) stanford (1) fixpoint (1) reactiv (1) express (1) tempor (1) system (1) prover (1) improv (1)

## Person: Anca Browne

### DBLP: Browne:Anca

### Contributed to:

### Wrote 3 papers:

- CAV-1996-BjornerBCCKMSU #named #realtime #verification
- STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.
- CAV-1994-LongBCJM #algorithm #evaluation #fixpoint
- An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.
- TAPSOFT-1995-MannaBBCCADKLSU #named #proving
- STeP: The Stanford Temporal Prover (ZM, NB, AB, EYC, MC, LdA, HD, AK, JL, HS, TEU), pp. 793–794.