Verification of a Merkle Patricia Tree Library Using F.
Sota SatoRyotaro BannoJun FuruseKohei SuenagaAtsushi IgarashiPublished in: CoRR (2021)
Keyphrases
- tree structure
- model checking
- face verification
- verification method
- binary tree
- r tree
- tree construction
- pruning algorithm
- formal methods
- tree structures
- tree search
- formal analysis
- neural network
- tree nodes
- asynchronous circuits
- tree models
- data mining
- similarity measure
- database
- leaf nodes
- artificial intelligence
- clustering algorithm
- nearest neighbor
- optimal solution