Formal 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 ...Nov 26, 2023 · 12 min readblog.bahoz.xyz
Introduction 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...Nov 2, 2023 · 7 min readblog.bahoz.xyz
