Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.
Koichi TakahashiMasami HagiyaPublished in: APLAS (2000)
Keyphrases
- model checking
- regular expressions
- garbage collection
- bounded model checking
- temporal logic
- finite state machines
- pattern matching
- formal verification
- finite automata
- formal specification
- query language
- flash memory
- finite state
- matching algorithm
- tree automata
- high level
- pspace complete
- xml schema
- space efficient
- formal methods
- databases
- random access
- database
- static analysis
- context free grammars
- object oriented databases
- data structure
- query evaluation
- knowledge base
- database management systems