Login / Signup

A Solicitous Approach to Smart Contract Verification.

Rodrigo OtoniMatteo MarescottiLeonardo AltPatrick EugsterAntti E. J. HyvärinenNatasha Sharygina
Published in: ACM Trans. Priv. Secur. (2023)
Keyphrases
  • model checking
  • verification method
  • concurrent systems
  • supply chain
  • temporal logic
  • formal methods
  • formal verification
  • neural network
  • search engine
  • social networks
  • multi agent
  • smart grid
  • smart cities