Spinroot

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?

spinroot

forum

Registered: 2010-11-18

Posts: 700

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]