[antlr-interest] C TO PROMELA TRANSLATOR
Ludwig Maes
ludwig.maes at gmail.com
Wed Apr 18 15:46:19 PDT 2012
I suggest you check out http://epispin.ewi.tudelft.nl/
and check out the relevant master's thesis
http://swerl.tudelft.nl/twiki/pub/Main/PastAndCurrentMScProjects/thesis-bob-de-vos.pdf
On 18 April 2012 21:10, Eric <researcher0x00 at gmail.com> wrote:
> 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
>>
>
> List: http://www.antlr.org/mailman/listinfo/antlr-interest
> Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address
More information about the antlr-interest
mailing list