Forum Jar
Forum Jar : NuSMV Forum : who could give me a favor for CTL function?
See other topics in NuSMV Forum

NuSMV Forum
Important rules for using NuSMV Forum
• No offensive words are allowed in this forum.
• To prevent spams, you must not use the words "http" ".com" or "/"(slashes) in this forum.

Alert! Please do not buy anything or pay anyone on this forum. Scammers have been reported on our forum. Please also do not go to any links posted on here. We have been reported about links to websites that contain viruses. Thank you.

Topic: who could give me a favor for CTL function?
in NuSMV, when all of (a=1 and b=1), c allways equals to 1.

is this right: SPEC AG ( EG a & b -> AG c)

by apple Fri Jun 07 03:41:09 UTC 2013

by thuck Mon Aug 28 04:40:19 UTC 2017

by Sun Dec 03 07:20:07 UTC 2017
Post a new comment

Name (optional):

By posting a comment, you indicate that you have agreed to our terms of use.

Feel adventurous? Check out random forums on Forum Jar!
Related Forums
Symbolic model verification Forum
Model checker Forum
Trento Forum
Italy Forum
Carnegie Mellon University Forum
University of Genoa Forum
University of Trento Forum
Binary Decision Diagrams Forum
Open source Forum
Boolean satisfiability problem Forum

sponsored links: free polls | free chat rooms (weirdtown chat) | widgets for myspace | make chat room | free chat room list | review websites | snowboard or ski | chat vocab

terms of use | privacy policy
©2011 All rights reserved.