Introduction to TLA+ Model Checking in the Command Line
Have any cloud providers or open source projects started publishing their proofs of correctness yet?Is it cheaper to hire someone who knows TLA+ or to find a consultant?