Deductive Verification of Smart Contracts with Dafny
Franck Cassez, Joanne Fuller, Horacio Mijail Antón Quiles
Topics & Concepts
SolidityComputer scienceCorrectnessBytecodeProgramming languageCompilerImplementationCode (set theory)SAFERSimple (philosophy)Code generationCommitComputer securityDatabaseKey (lock)JavaSet (abstract data type)EpistemologyPhilosophySecurity and Verification in ComputingAdvanced Malware Detection TechniquesBlockchain Technology Applications and Security