Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering
This is an incremental effort aimed at researchers and practitioners in formal methods and SPLE to foster collaboration and advance the field.
The workshop reviewed the current state of formal methods and analysis in Software Product Line Engineering (SPLE) to discuss a research agenda for extending existing approaches and developing new techniques tailored to SPLE needs.
The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a discussion of a research agenda for the extension of existing formal approaches and the development of new formal techniques for dealing with the particular needs of SPLE. To achieve the above objectives, the workshop is intended as a highly interactive event fostering discussion and initiating collaborations between the participants from both communities.