BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Berezin:Sergey

Contributed to:

CAV 20042004
CAV 20032003
TACAS 20032003
TACAS 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.