Regular Model Checking Using Inference of Regular Languages.
Peter HabermehlTomás VojnarPublished in: INFINITY (2004)
Keyphrases
- regular languages
- model checking
- grammatical inference
- finite state machines
- temporal logic
- regular expressions
- finite automata
- positive data
- formal verification
- inductive inference
- finite state
- model checker
- context free grammars
- decision problems
- context free
- verification method
- formal methods
- epistemic logic
- bayesian networks
- pac learning
- modal logic
- pattern languages
- decision rules
- pattern matching
- equivalence queries
- sufficient conditions
- knowledge acquisition