Family-Based Model Checking using Off-the-Shelf Model Checkers
- Aleksandar Dimovski,
- Ahmad Salim Al-Sibahi,
- ,
Research Output:
Contribution to conference - NOT published in proceeding or journal
Conference abstract for conference
Publication Information
Output type
Research Output:
Contribution to conference - NOT published in proceeding or journal
Conference abstract for conference
Original language
EnglishPublication milestones
- Published - 2015
Publication status
Published - 2015
Access to documents
Related Event
Title
2nd Software Product Line Analysis Tools Workshop
Event type
WorkshopDate
21/07/2015 - 21/07/2015Location
Nashville, TNUnited States