Spinroot

A forum for Spin users

You are not logged in.

#1 2016-07-21 20:21:34

Lholloway
Member
Registered: 2015-01-02
Posts: 6

p2b source code?

During the defense of my PhD dissertation one of my professors had mentioned a tool called p2b that converted Promela code to code usable by SMV or nuSMV.  However, it appears my Google-fu has failed me and I cannot find any trace of the source code only the papers that reference the location of where the source code once was.  Does anyone have a pointer to the source code or a place I could find it?  Thanks!

Offline

#2 2016-07-22 05:04:05

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

Re: p2b source code?

can you check with the authors of those papers?
i hadn't heard of that tool before

Offline

#3 2016-07-22 19:28:42

Lholloway
Member
Registered: 2015-01-02
Posts: 6

Re: p2b source code?

Thanks, I'll try tracking them down and asking. 
p2b is referenced in a paper on your site: http://spinroot.com/spin/Workshops/ws01/baldamus.pdf

Offline

Board footer

Powered by FluxBB