An Efficient Model Checking Algorithm for a Fragment of µ-Calculus.

Mohammad Izadi Ali Movaghar-Rahimabadi

Published in: SEKE (2005)

Keyphrases

model checking
dynamic programming
computational complexity
optimal solution
search space
np hard
temporal logic
deterministic finite automaton
knowledge base
knowledge based systems
formal specification
asynchronous circuits