A forum for Spin users
You are not logged in.
Pages: 1
Hello,I want to verify temporal proprities, can i express these proprieties through LTL?Thank you