Sign in

Predicate abstractions for smart contract validation.

Javier GodoyJuan Pablo GaleottiDiego GarbervetskySebastiá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