Welcome to Ke Jiang's Homepage


C to Promela translator

Here is the sorce code - primary version (lastest update: 2009/08/11) of my MSc thesis project "Model Checking C programs by Translating C to Promela". If you are using, will use this program or find bugs, please drop me a mail. :-) The program will be updated from time to time until late 2009.

Installation instructions

1. System requirements:

2. Installation

3. Usage

Publication

For more information about me or the project, please contact me by Email: ke.jiang (at) liu (dot) se.