PRISM++ installation

[Zainab Shahid]

I hope this message finds you well. I am writing to inquire about the installation process of Prism++. I have been trying to install Prism++ on my system but have encountered some issues. When I extract the files, I find them to be empty. Could you please provide me with the correct version of Prism++ that I should be using for installation? Additionally, if there are any specific steps I need to follow to ensure a successful installation, please let me know.

Thank you for your assistance.

[Dave Parker]

Hi Zainab,

This is the list for the PRISM model checking tool
(https://www.prismmodelchecker.org/). Are you talking about the same
software or something else?

Best wishes,

Dave

> --
> 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/bf4dd5c5-f959-43b2-9279-e7aa232ee059n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/bf4dd5c5-f959-43b2-9279-e7aa232ee059n%40googlegroups.com?utm_medium=email&utm_source=footer>.