Comment Comment by virgil_disgr4ce How valuable is TLA+ for non-concurrent applications? I've always been interested in formal verification (is TLA+ technically that?). parent virgil_disgr4ce 5 years ago
