Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
Maria Ribeiro, Pedro Adão, Paulo Mateus
Topics & Concepts
HOLComputer scienceSoliditySmart contractBytecodeProgramming languageProof assistantSoundnessFormal verificationLexical analysisTheoretical computer scienceDatabase transactionArtificial intelligenceJavaMathematical proofMathematicsGeometryBlockchain Technology Applications and SecurityCryptography and Data SecuritySecurity and Verification in Computing