Ezequiel Perezeperez.blog·16 hours agoFormal Verification: From Programs to FormulasImagine being able to prove that, no matter what inputs your program receives, certain properties or invariants will always hold by the end of the execution. This is what formal verification allows us to do, and in this article, we'll explore how to ...Discuss·99 readsFormal Verification

BAHOZblog.bahoz.xyz·Nov 26, 2023Formal Verification Foundations-1: LogicWhat is Propositional Logic? Propositional logic, a subset of mathematical logic, is a symbolic language that allows us to formalize and analyze arguments and assertions. At its core, propositional logic deals with propositions, which are statements ...Discuss·229 readsFormal Verification of Smart Contracts Using Certoracertora

Francisco Gutierrezfreefrancisco.hashnode.dev·Apr 19, 2023Which Language Will GPT Use When It Replaces All Programmers?No programmers in five years? A few weeks ago Emad Mostaque, the founder and CEO of Stability AI, made a bold prediction about the future of programming. He told the audience at Goldman Sachs 2023 Disruptive Technology Symposium that programming will...Discuss·1 like·465 readsHaskell

Jordan Hallblog.oighty.com·Jun 9, 2022Dev's Journal 2Welcome back to the Dev's Journal. I'm going to try and make this a regular Thursday publication. The past week I mostly worked on project clean-up, bug fixes, researched formal verification, and did math. It was pretty fun. Building with Solmate Au...Discuss·113 readsDev's JournalSolidity