Ask HN: Is formal verification of practical use in real world projects?5 points·by akkad33·قبل 7 أشهر·4 comments4 commentsPost comment[–]wmf·قبل 7 أشهرreplyFormal verification is useful for security-critical software (e.g. the new AWS hypervisor) or low-level distributed systems components (e.g. Paxos/Raft implementations).[–]akkad33·قبل 7 أشهرreplyDo you know what tools they use?[–]wmf·قبل 7 أشهرreplyTLA+ is a big one.[–]IntelliAvatar·قبل 7 أشهرreplyFull formal verification is rare, but partial guarantees at execution boundaries are very practical — especially for systems that act autonomously.