BBAHOZinblog.bahoz.xyz·Nov 26, 2023 · 12 min readFormal 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 ...00
BBAHOZinblog.bahoz.xyz·Nov 2, 2023 · 7 min readIntroduction to Formal Verification with Certora for Smart Contract SecurityWelcome to the deep dive into formal verification, a critical process in assuring the reliability and security of smart contracts. This blog post marks the start of our journey into the fascinating world of smart contract verification using formal me...00
