Text this: Proof-based verification approaches for dynamic properties