On Featured Transition Systems.

Axel Legay Gilles Perrouin Xavier Devroey Maxime Cordy Pierre-Yves Schobbens Patrick Heymans

Published in: SOFSEM (2017)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
social networks
distributed systems
reactive systems
petri net
fully observable