Sergey Berezin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

16 Husam Abu-Haimed, David L. Dill, Sergey Berezin: A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD 2006: 145-152

13 Husam Abu-Haimed, Sergey Berezin, David L. Dill: Strengthening Invariants by Symbolic Consistency Testing. CAV 2003: 407-419

12 Husam Abu-Haimed, Sergey Berezin, David L. Dill: Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME 2003: 158-163

Selection of 3 from 16 records - Sergey Berezin has 19 coauthors

16		Husam Abu-Haimed, David L. Dill, Sergey Berezin: A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD 2006: 145-152
13		Husam Abu-Haimed, Sergey Berezin, David L. Dill: Strengthening Invariants by Symbolic Consistency Testing. CAV 2003: 407-419
12		Husam Abu-Haimed, Sergey Berezin, David L. Dill: Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME 2003: 158-163