[tlaplus] Re: Ideas for model-checking probabilistic consensus systems?

["'kaie@xxxxxxxxxxxxxxx' via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>]

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.

-- 
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/fe4022c6-a1db-4241-9f0b-33cd6d17bbcb%40googlegroups.com.