Travelled to:1 × Italy
1 × Poland
2 × USA
Collaborated with:D.L.Dill C.W.Barrett J.Chang H.Abu-Haimed V.Ganesh Y.Lakhnech S.Bensalem S.Owre
Talks about:verif (2) strengthen (1) increment (1) implement (1) procedur (1) interfac (1) categori (1) arithmet (1) abstract (1) consist (1)
Person: Sergey Berezin
DBLP: Berezin:Sergey
Contributed to:
20042003
20032001Wrote 5 papers:
- CAV-2004-BarrettB #implementation
- CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (CWB, SB), pp. 515–518.
- CAV-2004-ChangBD #design #interface #refinement #using #verification
- Using Interface Refinement to Integrate Formal Verification into the Design Cycle (JC, SB, DLD), pp. 122–134.
- CAV-2003-Abu-HaimedBD #consistency #invariant #testing
- Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.
- TACAS-2003-BerezinGD #linear #online
- An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic (SB, VG, DLD), pp. 521–536.
- TACAS-2001-LakhnechBBO #abstraction #incremental #verification
- Incremental Verification by Abstraction (YL, SB, SB, SO), pp. 98–112.