Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
PRISM model checker
Conversations
About
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Array declaration in PRISM
26 views
Skip to first unread message
Abeeha Fatima
unread,
Dec 10, 2023, 6:24:47 AM
12/10/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to PRISM model checker
Hey,
I want to know how arrays are declared in PRISM. for multiple nodes?
Dave Parker
unread,
Dec 10, 2023, 6:27:53 AM
12/10/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to prismmod...@googlegroups.com, Abeeha Fatima
Hi Abeeha,
We don't yet support arrays I'm afraid. We hope to add that soon.
Best wishes,
Dave
> Hey,
> I want to know how arrays are declared in PRISM. for multiple nodes?
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to
prismmodelchec...@googlegroups.com
> <mailto:
prismmodelchec...@googlegroups.com
>.
> To view this discussion on the web, visit
>
https://groups.google.com/d/msgid/prismmodelchecker/a263338c-5fde-46b3-aae3-2788d245eed3n%40googlegroups.com
<
https://groups.google.com/d/msgid/prismmodelchecker/a263338c-5fde-46b3-aae3-2788d245eed3n%40googlegroups.com?utm_medium=email&utm_source=footer
>.
Reply all
Reply to author
Forward
0 new messages