Hacker Neue

Preferences
wmf parent
Formal verification is useful for security-critical software (e.g. the new AWS hypervisor) or low-level distributed systems components (e.g. Paxos/Raft implementations).
akkad33
Do you know what tools they use?
wmf OP
TLA+ is a big one.

This item has no comments currently.

Keyboard Shortcuts

Story Lists

j
Next story
k
Previous story
Shift+j
Last story
Shift+k
First story
o Enter
Go to story URL
c
Go to comments
u
Go to author

Navigation

Shift+t
Go to top stories
Shift+n
Go to new stories
Shift+b
Go to best stories
Shift+a
Go to Ask HN
Shift+s
Go to Show HN

Miscellaneous

?
Show this modal