• Debugging TLA+ specifications with state dumps - January 2, 2019
• Experimenting with TLA+ and PlusCal 3: Throttling multiple senders - December 19, 2017
• Experimenting with TLA+ and PlusCal 2: Throttling - November 11, 2017
• Experimenting with formal methods: TLA+ and PlusCal - November 8, 2017