|
|
Interests: symmetry reduction, abstraction, software model checking,
static program analysis
PHD Thesis:
[
2003.9
--
2009.8
]
Abstraction for
Verification and Refutation in Model Checking
Projects Involved with:
- Virtual Symmetry Reduction
- Multi-valued Abstraction
- Yasm: symbolic model checker
- Partial Modeling Formalisms
2009:
- O. Wei and A. Gurfinkel and M. Chechik.
``On the Consistency, Expressiveness, and Precision of Partial Modeling Formalisms'', Submitted for publication, May 2009
- O. Wei and A. Gurfinkel and M. Chechik.
``Mixed Transition Systems
Revisited'', in Proceedings
of 10th International Conference on Verification, Model-Checking, and Abstract Interpretation
(VMCAI'09),
volume 5403 of LNCS, pages 349-365, Savannah, GA, USA, January 2009
PDF
LNCS
2008:
- A. Gurfinkel and O. Wei and M. Chechik.
``Model Checking Recursive
Programs with Exact Predicate Abstraction'', in
Proceedings of 6th International Symposium on Automated Technology for Verification and
Analysis (ATVA'08), volume 5311 of LNCS, pages 95-110,
Seoul, Korea, October 2008
PDF
LNCS
- G. Balakrishnan, S.
Sankaranarayanan,
F. Ivancic, O. Wei, and A. Gupta. ``SLR: Path-Sensitive Analysis
through Infeasible-Path Detection and Syntactic Language
Refinement'', in Proceedings of 15th International
Static Analysis Symposium (SAS'08),
volume 5079 of LNCS, pages 238-254, Valencia, Spain, July 2008
PDF
LNCS
2006:
- A. Gurfinkel and O. Wei and M. Chechik. ``Yasm: A Software Model-Checker for
Verification and Refutation'', in
Proceedings of 18th International Conference on Computer Aided
Verification (CAV'06),
volume 4144 of LNCS, pages 170-174, Seattle, WA, USA, August 2006
PDF LNCS
- A. Gurfinkel and O. Wei and M. Chechik. ``Systematic Construction of Abstractions for
Model-Checking'', in Proceedings of 7th International
Conference on Verification, Model-Checking, and Abstract Interpretation
(VMCAI'06), volume 3855 of LNCS, pages 381-397, Charleston, SC, USA,
January 2006
PDF LNCS
2005:
- O. Wei and A. Gurfinkel and M. Chechik.
``Identification and Counter Abstraction for Full Virtual Symmetry'', in Proceedings of 13th Advanced Research WorkingConference on Correct Hardware Design andVerification Methods (CHARME'05), Saarbr\"{u}cken, Germany, pp. 285--300, October, 2005
PDF
LNCS
|
