Spinroot

A forum for Spin users

You are not logged in.

#1 2011-02-20 06:37:30

rangu
Member
Registered: 2011-01-03
Posts: 6

Question about availability of tool.....

sir i want to know that, is their any tool or software available which convert C code in to PROMELA?

Offline

#2 2011-02-20 07:07:48

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: Question about availability of tool.....

check out modex: [url]http://cm.bell-labs.com/cm/cs/what/modex/[/url] or feaver: [url]http://cm.bell-labs.com/cm/cs/what/feaver/index.html[/url]

Offline

Board footer

Powered by FluxBB