Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL.
Maria RibeiroPedro AdãoPaulo MateusPublished in: Logic, Language, and Security (2020)
Keyphrases
- formal verification
- theorem prover
- natural deduction
- model checker
- model checking
- inference rules
- theorem proving
- automated reasoning
- bounded model checking
- symbolic model checking
- automated verification
- first order logic
- higher order logic
- formal methods
- supply chain
- sequent calculus
- smart grid
- temporal logic
- cut elimination
- program slicing
- heuristic search
- modal logic
- decision problems
- multi agent systems
- functional verification