The Intent Envelope: Proofs for Completeness, Not Just Soundness

Verifying State & Reconciliation in Collaborative Web Apps

From Intent to Proof: Dafny Verification for Web Apps

Building a React App with Formally Verified State