Per Hillel's post on PRISM (https://www.hillelwayne.com/post/prism/) it doesn't do sets/tuples/etc., you have to hardcode every element in the model; are there other modeling languages which don't have this restriction?
On Tuesday, August 13, 2019 at 7:05:18 PM UTC-7, Kai wrote:
Rather than waiting for a non-trivial extension to TLA and the toolbox, you may want to explore existing tools that target probabilistic systems, e.g.,
PRISM. The literature on it should have poiters to formalisms and tools in the area.