Policy specification and verification for blockchain and smart contracts in 5G networks.

Devrim Unal Mohammad Hammoudeh Mehmet Sabir Kiraz

Published in: ICT Express (2020)

Keyphrases

formal verification
model checking
formal methods
asynchronous circuits
formal specification
network structure
network analysis
complex networks
computer networks
face verification
protocol specification
neural network
concurrent systems
policy makers
social network analysis
optimal policy
business processes