3 ms·How to Objectively Reason About Systems: Correctness Properties of a System3 points by pplonski86 8y agopriyankvex 8y agoThanks for sharing here :)