A Decidable Recursive Logic for Weighted Transition Systems.

Kim Guldstrand Larsen Radu Mardare Bingtian Xue

Published in: ICTAC (2014)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
chronological backtracking
datalog programs
control flow
finite state
practical reasoning
model checker
modal logic
first order logic
reactive systems
data flow
formal specification