Re:TLA+ model checking made symbolic
by im_down_w_otp on Saturday November 30, 2019 @11:01AM
(#21670487)
We didn't. It's on our list of things to open source and write about though, so we will when time permits. Probably won't be until after the new year, as we're focused on preparing for CES.
[ Parent
| on HN ]
There are no comments on this comment yet.