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.
1. System requirements:
$ cd C2Promela
Run ./doc2p sourcefile targetfile
e.g. $ ./doc2p /home/jacky/test.c /home/jacky/test.pml
For more information about me or the project, please contact me by Email: ke.jiang (at) liu (dot) se.