MichelsonLiSA: A Static Analyzer for Tezos.

Luca Olivieri Thomas P. Jensen Luca Negrini Fausto Spoto

Published in: PerCom Workshops (2023)

Keyphrases

dynamic analysis
neural network
database
real time
information systems
high level
bayesian networks
association rules
multiresolution
data processing