Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2011-12-19 07:03:50
- rima
- Member
- Registered: 2011-12-19
- Posts: 1
Time in Spin/LTL
Hello,
I want to verify temporal proprities, can i express these proprieties through LTL?
Thank you
Offline
Pages: 1