Verifying Smart Contracts with Cubicle.

Sylvain Conchon Alexandrina Korneva Fatiha Zaïdi

Published in: FM Workshops (1) (2019)

Keyphrases

supply chain
information retrieval
smart environments
database
real time
ubiquitous environments
neural network
objective function
multi agent systems
multiresolution
smart grid