Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure.
Gal AmramAvi HayounLior MizrahiGera WeissPublished in: DISC (2022)
Keyphrases
- data structure
- formal verification
- symbolic execution
- test generation
- model checking
- computational complexity
- quadtree
- algorithms and data structures
- data structures and algorithms
- test cases
- data types
- efficient data structures
- efficient implementation
- special case
- approximation algorithms
- index structure
- false acceptance rate
- multiresolution
- multi dimensional
- asynchronous circuits
- dependency graph
- itemsets
- signature verification
- space efficient
- suffix tree
- r tree
- frequent patterns