A reconfigurator tool for fPromela with support for variability abstractions.
Home Page:http://models-team.github.io/p3-tool
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool