Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
nine_k
8 months ago
|
parent
|
context
|
favorite
| on:
Jepsen: Datomic Pro 1.0.7075
Could you offer an example?
jupp0r
8 months ago
[–]
If you work through the TLA+ tutorial[1] it will help you get a good idea of the benefits and limitations of verification.
[1]
https://learntla.com/
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
