SmartMuVerf: A Mutant Verifier for Smart Contracts.

Sangharatna Godboley P. 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