Daphna Amit's Home Page

I'm an M.Sc. student at the Computer Science Dept. of Tel Aviv University
under the supervision of Prof. Mooly Sagiv.

Contacts

email: amitdaph 'at' post 'dot' tau 'dot' ac 'dot' il

Comparison under Abstraction for Verifying Linearizability
D. Amit, N. Rinetzky, T. Reps, M. Sagiv, and E. Yahav
CAV '07: 19th International Conference on Computer Aided Verification. © Springer-Verlag
[bib] [pdf] [ps]