Login / Signup
On the expressiveness of modal transition systems with variability constraints.
Maurice H. ter Beek
Ferruccio Damiani
Stefania Gnesi
Franco Mazzanti
Luca Paolini
Published in:
Sci. Comput. Program. (2019)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
artificial intelligence
model checker
test set
reactive systems