Dual-Priced Modal Transition Systems with Time Durations.

Nikola Benes Jan Kretínský Kim Guldstrand Larsen Mikael H. Møller Jirí Srba

Published in: LPAR (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
modal logic
distributed systems
formal specification
formal verification
model checker
domain specific