itu-square/p3-tool

A reconfigurator tool for fPromela with support for variability abstractions.

语言：Haskell · GitHub 星标：4 · Fork：2

话题：abstraction · haskell · model-checking · promela · spin · variability-analysis

在 GitHub 上查看原仓库