Characteristic mu-Calculus Formulas for Underspecified Transition Systems.

Harald Fecher Martin Steffen

Published in: EXPRESS (2004)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
reactive systems
distributed systems
software engineering
rough sets
markov decision processes
formal verification