Equation Solving Using Modal Transition Systems

Kim Guldstrand Larsen Xinxin Liu

Published in: LICS (1990)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
modal logic
reactive systems
model checker
knowledge base
markov chain