solc-verify: A Modular Verifier for Solidity Smart Contracts
Ákos Hajdu, Dejan Jovanović
Topics & Concepts
SolidityComputer scienceCorrectnessModular designSemantics (computer science)Formal verificationProgramming languageCode (set theory)Design by contractFunction (biology)Smart contractSource codeSoftware engineeringSymbolic executionModular programmingFormal semantics (linguistics)Formal methodsFunctional verificationOperational semanticsProof assistantModel checkingFormal specificationPrincipal (computer security)Formal descriptionStatic analysisLogic, programming, and type systemsSecurity and Verification in ComputingBlockchain Technology Applications and Security