5. Verification - Objects🔗

1. 5.1. Modifies clauses
2. 5.2. Reads clauses
3. 5.3. Old
4. 5.4. Allocated and fresh
5. 5.5. Immutable fields
6. 5.6. Type invariants
7. 5.7. Concurrency