Symbolic Verification Method for Definite Iteration over Data Structures.
Valery A. NepomniaschyPublished in: Inf. Process. Lett. (1999)
Keyphrases
- verification method
- data structure
- model checking
- temporal logic
- efficient data structures
- data types
- objective function
- symbolic representation
- high level
- iterative process
- database operations
- index structure
- symbolic reasoning
- neural learning
- conceptual spaces
- symbolic data
- real time
- associative learning
- iterative algorithms
- suffix tree
- b tree
- belief revision
- domain specific
- optimal solution
- search engine
- artificial intelligence