Celestial: A Smart Contracts Verification Framework.

Samvid Dharanikota Suvam Mukherjee Chandrika Bhardwaj Aseem Rastogi Akash Lal

Published in: FMCAD (2021)

Keyphrases

lightweight
bayesian framework
data sets
databases
multiscale
main contribution
model checking
computational framework
real time
genetic algorithm
case study
image segmentation
probabilistic model
theoretical framework
key features