Family-Based Model Checking using Off-the-Shelf Model Checkers
Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research
| Original language | English |
|---|---|
| Publication date | 2015 |
| Publication status | Published - 2015 |
| Event | 2nd Software Product Line Analysis Tools Workshop - Nashville, TN, United States Duration: 21 Jul 2015 → 21 Jul 2015 Conference number: 2 https://sites.google.com/site/splat2015w/ |
Workshop
| Workshop | 2nd Software Product Line Analysis Tools Workshop |
|---|---|
| Number | 2 |
| Country | United States |
| City | Nashville, TN |
| Period | 21/07/2015 → 21/07/2015 |
| Internet address |
ID: 80253671