[lheck]

Hi lou, I'm a contributor to Storm and will continue to work on it in my upcoming PhD position. The bottom line is that there are some things you can only do in PRISM and there are more things you can only do in Storm, but if you can do it in both, Storm is usually much faster (see QComp: https://qcomp.org/). PRISM has better documentation. Storm has recently recieved a grant that will help improve its user interface and applicabilty. I would like to hear from you what ideas and applications you have for using PMC! :)

[lou1306]

Thank you for the reply and congratulations on the PhD position! I am still not 100% sure about the specifics but my new team focuses on cyber-physical systems and whatnot, so probabilistic modelling and analysis techniques will likely play a big part. I will definitely try pinging you and the other Storm devs when things become clearer :)

Also, I'm really glad to hear there's an interest in UX, I feel it's a weak spot of many otherwise excellent formal tools out there.

[NooneAtAll3]

since you're a Storm contributor, can you explain what exactly makes it OS-dependent?

[lheck]

The dependencies. It does work on Linux and Mac. On Windows, you can use the WSL.