wiki:summer-projects/2012-amc

Abstract Model Checking

Abstract

The goal of the project is to implement support for data and predicate abstractions.

Contact

student: Artem Khyzha <artkhyzha AT gmail.com>

mentor: Corina Pasareanu

co-mentor: Pavel Parizek

Repository

The sources for this project are available from a Mercurial repository at https://bitbucket.org/artkhyzha/jpf-abstraction/

Description

Project documentation/wiki/blog are available at https://bitbucket.org/artkhyzha/jpf-abstraction/

Last modified 6 years ago Last modified on 06/08/2012 01:05:50 PM