Weighted modal transition systems.

Sebastian S. Bauer Uli Fahrenberg Line Juhl Kim G. Larsen Axel Legay Claus R. Thrane

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
reactive systems
distributed systems
data flow
modal logic
formal specification
case study
real time systems
formal verification
model checker
object oriented