From Execution to Necessity: Proof-Based Metrics for Code Coverage (Short Paper). - Karl Mattsson; Peter Backeman (FM (2), 2026)