A Formally Verified Proof of the Central Limit Theorem
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9404-x
Abstract: We describe a proof of the Central Limit Theorem that has been formally verified in the Isabelle proof assistant. Our formalization builds upon and extends Isabelle’s libraries for analysis and measure-theoretic probability. The proof of… read more here.
Keywords: formally verified; theorem; central limit; limit theorem ... See more keywords
Formally verified software in the real world
Sign Up to like & getrecommendations! Published in 2018 at "Communications of the ACM"
DOI: 10.1145/3230627
Abstract: Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks. read more here.
Keywords: formally verified; real world; software real; verified software ... See more keywords