A Sound Observational Semantics for Modal Transition Systems.

Dario Fischbein Víctor A. Braberman Sebastián Uchitel

Published in: ICTAC (2009)

Keyphrases

transition systems
control flow
model checking
concurrent systems
temporal logic
finite state
formal semantics
practical reasoning
data flow
model checker
fully observable
formal specification
reactive systems
modal logic
web services
specification language
process model