TIL formal verification comes in many flavors: Theorem proving (Lean): prove m… · @hd_nvim · TwKit

@hd_nvim

TIL formal verification comes in many flavors: Theorem proving (Lean): prove mathematical properties Model checking (TLA+): explore possible system states Deductive verification (Dafny): prove code meets its contracts Abstract interpretation (Astrée): prove properties across program executions

曝光 137 · 评论 1 · 点赞 4 · 书签 3