The standard way to prove dynamic properties is to show an invariant holds. It remains a formidable task to formulate and express such invariants.
The standard way to prove dynamic properties is to show an invariant holds. It remains a formidable task to formulate and express such invariants.
No comments :
Post a Comment