Predicate abstractions for smart contract validation.

Javier Godoy Juan Pablo Galeotti Diego Garbervetsky Sebastián Uchitel

Published in: MoDELS (2022)

Keyphrases

high level
supply chain
data sets
service oriented
artificial intelligence
decision making
case study
multiscale
multi agent
first order logic
evaluation function
smart grid
home environments