Model checking smart contracts for Ethereum
Thomas Osterland, Thomas Rose
Topics & Concepts
Computer scienceSmart contractBlockchainCorrectnessSoftware engineeringDesign by contractComputer securityCode (set theory)Semantics (computer science)Model checkingProgramming languageSoftwareSoftware developmentSet (abstract data type)Software constructionSecurity and Verification in ComputingAccess Control and TrustDistributed systems and fault tolerance