Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen Kim Guldstrand Larsen Radu Mardare Mathias Ruggaard Pedersen Bingtian Xue

Published in: CoRR (2017)

Keyphrases

transition systems
practical reasoning
model checking
concurrent systems
temporal logic
finite state
control flow
lower bound
artificial intelligence
case study