An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages.
Doron A. PeledThomas WilkePierre WolperPublished in: Theor. Comput. Sci. (1998)
Keyphrases
- temporal logic
- regular languages
- context free grammars
- closure properties
- transition systems
- reactive systems
- verification method
- model checking
- grammatical inference
- context free
- regular expressions
- finite state machines
- finite automata
- belief revision
- databases
- high level
- xml schema
- expressive power
- context sensitive
- context dependent
- production rules
- conjunctive queries
- finite state
- np complete
- data model
- database systems
- artificial intelligence
- machine learning