Get the latest tech news

Proving Liveness with TLA

The TLA Toolbox now has support for proving liveness properties (i.e. that something will eventually happen). I try it out on the Xen vchan protocol. …

None

Get the Android app