Failure Semantics for Modal Transition Systems.

Ferenc Bujtor Walter Vogler

Published in: ACM Trans. Embed. Comput. Syst. (2015)

Keyphrases

transition systems
control flow
model checking
temporal logic
concurrent systems
practical reasoning
finite state
data flow
reactive systems
modal logic
formal semantics
argumentation frameworks
model checker
distributed systems
process model
formal specification