On the fixed-parameter tractability of parameterized model-checking problems.

Iain A. Stewart

Published in: Inf. Process. Lett. (2008)

Keyphrases

model checking
temporal logic
formal verification
temporal properties
formal specification
model checker
symbolic model checking
automated verification
np complete
formal methods
epistemic logic
search algorithm
modal logic