Recent work on statistics in TLA+?

36 views

Skip to first unread message

A. Jesse Jiryu Davis

unread,

Mar 25, 2025, 9:11:43 AMMar 25

to tla...@googlegroups.com

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?

Reply all

Reply to author

Forward

0 new messages