2011-02-20T06:07:48ZFluxBBhttp://spinroot.com/fluxbb/viewtopic.php?id=84check 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]]]>http://spinroot.com/fluxbb/profile.php?id=22011-02-20T06:07:48Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=239#p239sir i want to know that, is their any tool or software available which convert C code in to PROMELA?]]>http://spinroot.com/fluxbb/profile.php?id=392011-02-20T05:37:30Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=238#p238