Forum Jar
Forum Jar : NuSMV Forum : NuSMV error
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: NuSMV error

After I beat all the syntax errors, the last errors I got were:
WARNING *** The model contains PROCESSes or ISAs
WARNING *** The HRC hierarchy will not be usable

I then try to add my CTL check and I get "line 36: at token "MODULE": syntax error".

I have no idea what this means.

Thoughts would be helpful

by Sadjers Wed Jul 09 00:30:20 UTC 2014


by ы Tue Nov 29 22:43:26 UTC 2016

by uboot Mon Aug 28 04:35:08 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.