Smart Contract Synthesis Modulo Hyperproperties.

Norine Coenen Bernd Finkbeiner Jana Hofmann Julia J. Tillman

Published in: CSF (2023)

Keyphrases

program synthesis
supply chain
real time
ubiquitous environments
databases
website
multi agent
artificial neural networks
smart environments
smart grid
revenue sharing