Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

109 points

by todsacerdoti

3 days ago

63 comments