EFM 2019 - 1st International Workshop on Empirical Formal Methods

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.
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.
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.
We aim to strengthen the community
of researchers aiming at the compelling empirical validation of any aspects of FMs and
of practitioners supporting such validation as well as the sustainable transfer of FMs into dependable software practice.