Identifying Vulnerabilities in Smart Contracts using Interval Analysis.

Stefan-Claudiu Susan Andrei Arusoaie

Published in: FROM (2023)

Keyphrases

interval analysis
autocalibration
constrained optimization
constraint propagation
fuzzy set theory
constraint sets
three dimensional
fuzzy logic
single image