A forum for Spin users
You are not logged in.
Pages: 1
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
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
Pages: 1