How to Objectively Reason About Systems: Correctness Properties of a System

Thanks for sharing here :)