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