Verification of Nonregular Temporal Properties for Context-Free Processes.

Ahmed Bouajjani Rachid Echahed Riadh Robbana

Published in: CONCUR (1994)

Keyphrases

temporal properties
model checking
context free
finite state
formal methods
grammatical inference
context sensitive
context dependent
context free grammars
formal specification
possibility theory
high level
inductive inference
markov chain
data mining
general purpose
object oriented