How to Objectively Reason About Systems: Correctness Properties of a System Posted by pplonski86 on Sunday January 06, 2019 @11:15AM from the priyankvex.wordpress.com dept. https://priyankvex.wordpress.com/2019/01/06/how-to-objectively-reason-about-systems-correctness-properties-of-a-system/ ( 1 comment | 3 points | on HN )