|
|
- 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), Charleston, SC, pp. 381--397, January, 2006
PS
PDF
Abstract
- A. Gurfinkel and M. Chechik.
``Why Waste a Perfectly Good Abstraction?'', in Proceedings of the 12th International Conference on Toolsand Algorithms for the Constructionand Analysis of Systems (TACAS'06), Vienna, Austria, March, 2006
PS
PDF
Abstract
|
