Super HN

   Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com) 2 points by todsacerdoti 4 minutes ago