Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering

TL;DR

This workshop review discusses current formal methods in Software Product Line Engineering (SPLE), identifies gaps, and proposes a research agenda for advancing formal techniques tailored to SPLE's specific needs.

Contribution

It provides a comprehensive overview of the state of formal methods in SPLE and outlines future research directions for extending and developing new formal approaches.

Findings

Current formal methods are actively applied in SPLE.

Identified gaps in existing formal techniques for SPLE.

Proposed research agenda for future formal methods in SPLE.

Abstract

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.