ETHBMC: A Bounded Model Checker for Smart Contracts.
Joel FrankCornelius AschermannThorsten HolzPublished in: USENIX Security Symposium (2020)
Keyphrases
- model checker
- model checking
- formal methods
- formal verification
- description language
- temporal logic
- formal specification
- test suite
- symbolic model checking
- set theory
- specification language
- ai planning
- machine learning
- orders of magnitude
- test cases
- general purpose
- software engineering
- evolutionary algorithm
- expert systems
- web services
- knowledge base