Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, Arie Gurfinkel
Topics & Concepts
SolidityComputer scienceFuzz testingModel checkingSmart contractFormal verificationAbstractionState (computer science)Symbolic executionComputer securityFormal methodsVariety (cybernetics)Programming languageArtificial intelligencePhilosophyEpistemologyBlockchainSoftwareSecurity and Verification in ComputingAdvanced Malware Detection TechniquesWeb Application Security Vulnerabilities