[antlr-interest] C TO PROMELA TRANSLATOR

David Blubaugh davidblubaugh2000 at yahoo.com
Wed Apr 18 11:56:00 PDT 2012

To All,
I was wondering if anyone was interested in helping me to develop a c to Promela translator and maybe even a promela to c reverse translator ???  
Promela is the scripting language utilized within the spin model checker !!  This can be utilized to determine if a program has been verified !!!
David Blubaugh

More information about the antlr-interest mailing list