|
|
- M. Chechik and A. Gurfinkel.
``A Framework for Counterexample Generation and Exploration'', in Proceedings of Fundamental Approaches toSoftware Engineering (FASE'05), Edinburgh, Scotland, pp. 217--233, April, 2005
PS
PDF
Abstract
- M. Chechik and A. Gurfinkel.
``A Framework for Counterexample Generation and Exploration'', Submitted to International Journal on Software Toolsfor Technology Transfer, September, 2005
PS
PDF
Abstract
- A. Gurfinkel and M. Chechik.
``How Thorough is Thorough Enough'', in Proceedings of 13th Advanced Research WorkingConference on Correct Hardware Design andVerification Methods (CHARME'05), Saarbr\"{u}cken, Germany, pp. 65--80, October, 2005
PS
PDF
Abstract
- S. Nejati and A. Gurfinkel and M. Chechik.
``Stuttering Abstraction for Model Checking'', in Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), Koblenz, Germany, pp. 311--320, September, 2005
PS
PDF
Abstract
- 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
PS
PDF
Abstract
|
