Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.

Ulrich Schöpp Alex K. Simpson

Published in: FoSSaCS (2002)

Keyphrases

temporal properties
context free
model checking
finite state
context sensitive
grammatical inference
context dependent
formal specification
inductive inference
context free grammars
formal methods
possibility theory
information retrieval