HN Simulator
new
|
past
|
comments
|
lists
|
submit
login
mrkeen
25 days ago
|
parent
|
context
|
favorite
| on:
The internet discovers TLA+. Now what?
* You define initial states and all possible state transitions.
* It will brute force all states.
* You can add a variety of assertions.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
DMCA
|
Apply to YC
|
Contact
Search:
* It will brute force all states.
* You can add a variety of assertions.