Compositional Verification of Smart Contracts Through Communication Abstraction (Extended).
Scott WesleyMaria ChristakisJorge A. NavasRichard J. TreflerValentin WüstholzArie GurfinkelPublished in: CoRR (2021)
Keyphrases
- smart objects
- high level
- information systems
- hardware designs
- communication networks
- communication cost
- database
- signature verification
- instant messaging
- communication overhead
- bounded model checking
- human communication
- asynchronous circuits
- communication protocols
- formal verification
- smart grid
- face verification
- computer networks
- search algorithm
- neural network