Login / Signup
Modal transition system encoding of featured transition systems.
Mahsa Varshosaz
Lars Luthmann
Paul Mohr
Malte Lochau
Mohammad Reza Mousavi
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
model checker
reactive systems
artificial intelligence
data flow
object oriented
formal specification
formal verification