I did some research on this and PRISM is actually the most advanced
probabilistic modeling language out there. Verifying probability
is really, really hard! For your use case you're probs
best off writing a python script to autogen PRISM specs for you.
You might be able to use the PRISM preprocessor, but that's still
in beta: http://www.prismmodelchecker.org/prismpp/
Alernatively you might want to try using one of the experimental
extensions to PRISM, like ProFeat:
On 8/14/19 9:14 AM, Andrew Helwer wrote:
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/0415754b-e45d-ac3f-d90f-a3d8cc65645b%40gmail.com.