Verification Fundamentals

Learn the proof tools that make contracts believable. Move from local assertions to invariants, frames, and reusable spec logic.