World Wires · story 10593 · unverified · 1 source(s)

What TLA+ can and can't check

An analysis examining the capabilities and limitations of the TLA+ formal specification language.

Open in the desk

Coverage

What this site indexes