Gradual verification of recursive heap data structures.
Jenna WiseJohannes BaderCameron WongJonathan AldrichÉric TanterJoshua SunshinePublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- data structure
- suffix tree
- model checking
- index structure
- formal verification
- data types
- recursive algorithm
- data sets
- test generation
- b tree
- false acceptance
- database
- recursive functions
- quadtree
- neural network
- evolutionary algorithm
- formal methods
- signature verification
- video sequences
- similarity measure
- website
- verification method
- algorithms and data structures
- efficient data structures
- functional verification
- databases