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	2nd Software Product Line Analysis Tools Workshop
Number	2
Country/Territory	United States
City	Nashville, TN
Period	21/07/2015 → 21/07/2015
Internet address	https://sites.google.com/site/splat2015w/

Cite this

@conference{130048e944724aa38049192dc82c0374,

title = "Family-Based Model Checking using Off-the-Shelf Model Checkers",

author = "Aleksandar Dimovski and Al-Sibahi, \{Ahmad Salim\} and Claus Brabrand and Andrzej Wasowski",

year = "2015",

language = "English",

note = "2nd Software Product Line Analysis Tools Workshop, SPLat 2015 ; Conference date: 21-07-2015 Through 21-07-2015",

url = "https://sites.google.com/site/splat2015w/",

}

Family-Based Model Checking using Off-the-Shelf Model Checkers. / Dimovski, Aleksandar; Al-Sibahi, Ahmad Salim; Brabrand, Claus et al.
2015. Abstract from 2nd Software Product Line Analysis Tools Workshop, Nashville, TN, United States.

Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research