Functional Verification of Smart Contracts via Strong Data Integrity
Wolfgang Ahrendt, Richard Bubel
Topics & Concepts
SolidityComputer scienceData integrityComputer securityProgramming languageBlockchain Technology Applications and SecuritySecurity and Verification in ComputingCryptography and Data Security