Formal Methods: Oversold? Underused? A Survey

12/20/2018
by   Mario Gleirscher, et al.
0

Context: Formal methods (FM) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvement towards more successful transfer into practice. Objective: We study the use of formal methods in mission-critical software domains, probing industrial and academic views. Method: We perform a cross-sectional on-line survey. Results: Our results indicate an increased intent to apply FMs in industry, suggesting a positively perceived usefulness. But we observe a negatively perceived ease of use. Scalability, skills, and education seem to be among the key challenges to support this intent. Limitations: Some difficulties in achieving a large sample at a good response rate lead to limited generalizability. Conclusions: However, we present the largest study of this kind so far (N = 192), and our observations provide valuable insights, highlighting directions for future theoretical and empirical research of formal methods.

READ FULL TEXT

page 6

page 7

page 9

research
04/06/2021

A Review of Formal Methods applied to Machine Learning

We review state-of-the-art formal methods applied to the emerging field ...
research
05/13/2020

Applying a Formal Method in Industry: a 25-Year Trajectory

Industrial applications involving formal methods are still exceptions to...
research
12/25/2018

Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?

Formal methods have provided approaches for investigating software engin...
research
04/18/2023

A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch

Context: Ensuring safety for any sophisticated system is getting more co...
research
08/13/2021

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation

Context: The complexity of modern safety-critical systems in industries ...
research
12/23/2021

A Manifesto for Applicable Formal Methods

Formal methods were frequently shown to be effective and, perhaps becaus...
research
01/05/2021

Cybersecurity Knowledge and Skills Taught in Capture the Flag Challenges

Capture the Flag challenges are a popular form of cybersecurity educatio...

Please sign up or login with your details

Forgot password? Click here to reset