Reactive Synthesis of Smart Contract Control Flows

Bernd Finkbeiner, Jana Hofmann, Florian Kohn +1

Smart contracts are small but highly error-prone programs that implement agreements between multiple parties. We present a reactive synthesis approach for the automatic constructio…