Sign in

SmartMuVerf: A Mutant Verifier for Smart Contracts.

Sangharatna GodboleyP. Radha Krishna
Published in: ENASE (2023)
Keyphrases
  • supply chain
  • differential evolution
  • real time
  • neural network
  • smart environments
  • artificial intelligence
  • information technology
  • mobile devices
  • smart grid
  • smart cities
  • designated verifier