[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Recent work on statistics in TLA+?



Hello! This is mainly a question for Markus Kuppe and Jack Vanlightly, but I'll ask in public for the sake of other readers, and in case there are other experts who can weigh in. I'm watching Markus and Jack's 2022 talk about Obtaining Statistical Properties by Simulating Specs with TLC, and considering what TLA+/TLC changes might make this technique more powerful or convenient.

Question: Have there been major advances since that 2022 talk? New TLA+ or TLC features? Has anyone invented new methods with the existing features?

--
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 visit https://groups.google.com/d/msgid/tlaplus/CAFRUCtYU2-2Ttv3vfG%3DR_hki_EBOSZ5SYz3q4uu5OGU6XcXxGw%40mail.gmail.com.