Re:Conformance Checking at MongoDB: Testing That Our Code Ma...
by merek on Monday June 02, 2025 @07:35PM
(#44164529)
Where? I see the following
> I was excited about this vision. Too often, an engineer tries to write one huge TLA+ spec for the whole system. It's too complex and detailed, so it's not much easier to understand ...
> I was excited about this vision. Too often, an engineer tries to write one huge TLA+ spec for the whole system. It's too complex and detailed, so it's not much easier to understand ...