Symbolic Model Checking of Product-Line Requirements Using SAT
About
Download
Build
Run
Models
Download
The code can be also downloaded from our
bitbucket repository
.