Deductive Proof of Industrial Smart Contracts Using Why3
Zeinab Nehaï, François Bobot
Topics & Concepts
Computer scienceProof theoryProgramming languageMathematical proofMathematicsGeometryBlockchain Technology Applications and SecurityFinTech, Crowdfunding, Digital FinanceEthics and Social Impacts of AI