A forum for Spin users
You are not logged in.
Pages: 1
Hi, i just started using iSPIN for the implementation of my project. Quick question, where should i place the Never Claims generated from LTL formulas??? Should it be within a process in my model or outside the process?? any assistance on the above matter will be highly appreciated.
Offline
Thanks,it worked.
Offline
Pages: 1