Hacker Next
Conformance checking at MongoDB: Testing that our code matches our TLA+ specsmongodb.com
109 points by todsacerdoti 3 days ago | 63 comments