Hacker News<p>Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs</p><p><a href="https://www.mongodb.com/blog/post/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">mongodb.com/blog/post/engineer</span><span class="invisible">ing/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ConformanceChecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ConformanceChecking</span></a> <a href="https://mastodon.social/tags/MongoDB" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MongoDB</span></a> <a href="https://mastodon.social/tags/TLAplus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TLAplus</span></a> <a href="https://mastodon.social/tags/Testing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Testing</span></a> <a href="https://mastodon.social/tags/Code" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Code</span></a> <a href="https://mastodon.social/tags/Engineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Engineering</span></a></p>