Skip to content

Hillel Wayne personal blog

Breaking the limits of TLA+ model checking

hillelwayne.com published 2023-04-1712 min read

Graphing TLA+ state spaces for fun and profit.

Read on hillelwayne.com → Discuss on HN (4) Archived copy

Points: 122
HN comments: 4
Submissions: 1
Cited by: 0 commenters

Software Engineering Systems & Performance 2023

On Hacker News

Submitted	Title on HN	Points	Comments
Apr 17, 2023	Breaking the limits of TLA+ model checking by todsacerdoti	122	4

More from Hillel Wayne

All 49 posts →

The hunt for the missing data type

2024690 points254 comments Software Engineering details

Why Does “=” Mean Assignment?

2018674 points354 comments Programming Languages details

1/0 = 0

2018650 points801 commentscited by 12Math & Algorithms details

Why Don't People Use Formal Methods?

2019420 points342 commentscited by 3Software Engineering details

Most(ly dead) Influential Programming Languages

2020417 points691 comments Programming Languages details

In Praise of AutoHotKey

2020414 points212 commentscited by 3Tools & Productivity details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

Cognitive load is what matters

minds.md20241,769 points721 comments details

Everything that uses configuration files should report where they're located

Chris Siebenmann20231,744 points472 comments details