I'll likely start diving into probabilistic formal methods in a few months and this seems like a good place to ask: How does Storm [1] compare to PRISM?
It looks like a promising alternative and the academic pedigree seems top-notch, but I would like to know more from anyone with hands-on experience with it.
It looks like a promising alternative and the academic pedigree seems top-notch, but I would like to know more from anyone with hands-on experience with it.
[1] https://www.stormchecker.org