Video

Unknown · 0:00

Sandia researcher Sam Pard surveys four formal-verification programs for high-consequence embedded control systems: long-running Q Framework model-based refinement to C, foundational CompCert/Rocq proofs, early-stage...

Read the full summary on tuber