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. :-)
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.