End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract.
Daejun ParkYi ZhangGrigore RosuPublished in: CAV (1) (2020)
Keyphrases
- end to end
- formal verification
- model checking
- automated verification
- bounded model checking
- model checker
- ad hoc networks
- symbolic model checking
- multipath
- wireless ad hoc networks
- congestion control
- admission control
- content delivery
- application layer
- scalable video
- high bandwidth
- automated reasoning
- internet protocol
- real world