Verification of Scapegoat Trees Using Dafny.

Jiapeng Wang Sini Chen Huibiao Zhu

Published in: NFM (2024)

Keyphrases

decision trees
model checking
tree structure
tree models
search engine
computer vision
evolutionary algorithm
formal methods
formal analysis
data sets
neural network
information systems
multi agent systems
signature verification
asynchronous circuits
verification method