A Temporal Approach to Specification and Verification of Pointer Data-Structures.
Marcin KubicaPublished in: FASE (2003)
Keyphrases
- temporal characteristics
- data structure
- formal verification
- asynchronous circuits
- model checking
- formal methods
- high level
- formal specification
- data types
- protocol specification
- suffix tree
- index structure
- databases
- signature verification
- temporal information
- conceptual model
- spatio temporal
- information systems
- genetic algorithm
- algorithms and data structures
- efficient data structures
- database