@techreport{millo:hal-00747533, TITLE = {{Compositional Verification of Evolving SPL}}, AUTHOR = {Millo, Jean-Vivien and Ramesh, S. and Krishna, Shankara, Narayanan and Narwane, Ganesh, Khandu}, URL = {https://hal.inria.fr/hal-00747533}, TYPE = {Research Report}, NUMBER = {RR-8125}, PAGES = {34}, YEAR = {2012}, MONTH = Oct, KEYWORDS = {Design veri fication ; Software Product Line ; SPIN ; QSAT ; Design veri fication ; Software Product Line ; SPIN ; QSAT}, HAL_ID = {hal-00747533}, HAL_VERSION = {v1}, }