HN Explorer

damianabramov

↗ HN profile [ 24.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Untyped – check recorded agent runs against a TLA+ spec (github.com)

    Hi, lots of talk about TLA+ lately, so I just published my work on the topic. The tool checks an agent harness design and its recorded runs to find invariant breaks. I believe it will help make your code hold up under…

    2 points 3