Welcome to the world of C2Promela

C to Promela translator

Here is the sorce code of my MSc thesis project "Model Checking C programs by Translating C to Promela". The password for unzipping the package can be obtained by sending me an email. If you are using, would like to try out this tool or find bugs, you are most welcome to drop me a mail. :-)

Installation instructions

1. System requirements:

2. Installation

3. Usage


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