Fixed-Parameter Tractability, Definability, and Model-Checking.

Jörg Flum Martin Grohe

Published in: SIAM J. Comput. (2001)

Keyphrases

model checking
temporal logic
temporal properties
model checker
computation tree logic
formal specification
propositional logic
automated verification
formal verification
formal methods
epistemic logic
single peaked
transition systems
fixed parameter tractable
symbolic model checking
np hard
satisfiability problem