Login / Signup
From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
Maurice H. ter Beek
Ferruccio Damiani
Stefania Gnesi
Franco Mazzanti
Luca Paolini
Published in:
SEFM (2015)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
formal verification
reactive systems
modal logic
distributed systems