Compositional Verification of Smart Contracts Through Communication Abstraction.
Scott WesleyMaria ChristakisJorge A. NavasRichard J. TreflerValentin WüstholzArie GurfinkelPublished in: SAS (2021)
Keyphrases
- smart objects
- high level
- supply chain
- communication systems
- communication networks
- communication overhead
- bounded model checking
- communication protocol
- model checking
- instant messaging
- neural network
- resource constrained
- communication channels
- information systems
- communication patterns
- human computer
- smart grid
- communication technologies
- mobile devices
- information exchange
- web services
- computer networks
- ambient intelligence
- distributed systems
- reinforcement learning
- low level