[antlr-interest] C TO PROMELA TRANSLATOR

[Eric]

David,

Have you ever attempted something like this?

What is your background?

This doesn’t mean I will help, but currently curious.

Eric

On Wed, Apr 18, 2012 at 2:56 PM, David Blubaugh <davidblubaugh2000 at yahoo.com
> wrote:

> 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
>
>
>
>
> List: http://www.antlr.org/mailman/listinfo/antlr-interest
> Unsubscribe:
> http://www.antlr.org/mailman/options/antlr-interest/your-email-address
>