Login / Signup

Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models.

Tesnim AbdellatifKei-Léo Brousmiche
Published in: NTMS (2018)
Keyphrases
  • formal verification
  • user interface
  • probabilistic model
  • model checking
  • software engineering
  • statistical models
  • information retrieval
  • search engine
  • collaborative filtering
  • complex systems