>> a good design good is doing a lot of heavy lifting here. The point of TLA+/Pl...

		yathaid 6 months ago \| parent \| context \| favorite \| on: Systems Correctness Practices at Amazon Web Servic... >> a good design good is doing a lot of heavy lifting here. The point of TLA+/Pluscal is to have a proof of the soundness of the design.