Litcius/Paper detail

{ETHBMC}: A Bounded Model Checker for Smart Contracts

J. Howard Frank, Cornelius Aschermann, Thorsten Holz

2020USENIX Security Symposium39 citations

Topics & Concepts

Model checkingComputer scienceBounded functionProgramming languageTheoretical computer scienceMathematicsMathematical analysisBlockchain Technology Applications and SecurityCryptography and Data SecuritySecurity and Verification in Computing
{ETHBMC}: A Bounded Model Checker for Smart Contracts | Litcius