News for hackers. Stuff that matters.

A comment on Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs. Parent comment

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by jiryu on Tuesday June 03, 2025 @07:48AM (#44168947)
That's a really cool technique oggy, I don't think I've heard of anything exactly like it. If you haven't told the TLA+ community about it yet, I'm sure they'd like to learn about your approach, either on the mailing list[1] or at the next TLA+ conference[2] in 2026.

[1] https://groups.google.com/g/tlaplus

[2] https://conf.tlapl.us/home/

[ Parent | on HN ]
Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by oggy on Tuesday June 03, 2025 @11:22AM (#44171049)
Thank you for the kind words! I haven't really talked about it anywhere yet since it's fresh off the press, I'll definitely post it on the mailing list.
[ Parent | on HN ]