A plethora of difficulties in software practice and momentous software faults continuously deliver reasons to believe that formal methods (FMs) will, in one or another way, have to play a key role in mastering these difficulties and in achieving the desired compound guarantees (e.g. dependability, security, performance) of future software–intensive systems.<br>However, dependable software industry has not yet successfully adopted FMs as a vital part of their software engineering (SE) processes. Many practitioners believe in the high potential of FMs and would use FMs to their maximum benefit, whether directly or through powerful tools.<br>Sadly, the beneficial use of FMs still seems hindered by several obstacles. But the lack of recent knowledge about these obstacles and the lack of recent knowledge about FM effectiveness and productivity raises a high demand for strong empirical research and goal–directed collaboration between academia and industry. Interestingly, the low adoption of FMs in SE differs drastically from other engineering disciplines.<br>We aim to strengthen the community<br>of researchers aiming at the compelling empirical validation of any aspects of FMs and<br>of practitioners supporting such validation as well as the sustainable transfer of FMs into dependable software practice.<br>TOPICS OF INTEREST<br>For this single–day workshop, we kindly request<br>short research summaries, focused literature surveys<br>short experiences, opinions/positions, agendas, visions,<br>short or regular technical contributions<br>related (but not limited) to the following topics:<br>experiences in or surveys (e.g. systematic mappings and reviews, interview studies) of<br>FM transfers and applications (e.g. case studies),<br>challenges, limitations/barriers, and benefits of FMs,<br>evaluations of<br>tools, languages, frameworks, or platforms widely used in dependable software practice regarding their support of FMs,<br>the integration of FMs into programming techniques, SE methods, and SE processes,<br>new (automated) abstraction techniques,<br>comparisons of<br>projects applying FMs in practice with similar practical projects applying non–FM approaches,<br>FMs with similar approaches in traditional engineering,<br>benchmarks and metrics (beyond tool performance) for<br>the evaluation and comparison of FMs (e.g. fault–avoidance and fault–detection effectiveness),<br>usability and maturity assessment of FMs (e.g. abstraction effort, proof complexity, productivity),<br>research designs (e.g. for controlled field experiments) for the practical validation of FMs,<br>statements (see 2.) on<br>FM integration and semantics unification,<br>future FM (empirical) research, education, and training.<br>
Abbrevation
EFM
City
Porto
Country
Portugal
Deadline Paper
Start Date
End Date
Abstract