Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#4311
Variability: Add Product-Line-Analysis to state automata
Constraints to be checked:
All state automata variants have exactly one unique state automaton