Formal Methods in Requirements Engineering: Survey and Future Directions

• Published in: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) pp. 88 - 99
• Main Authors: Lorch, Robert, Meng, Baoluo, Siu, Kit, Moitra, Abha, Durling, Michael, Paul, Saswata, Varanasi, Sarat Chandra, McMillan, Craig
• Format: Conference Proceeding
• Language: English
• Published: ACM 14.04.2024
• Subjects: Formal Methods; Manuals; Requirements Analysis; Requirements engineering; Scalability; Software; Specification languages; Surveys

Requirements engineering plays a pivotal role in the development of safety-critical systems. However, the process is usually a manual one and can lead to errors and inconsistencies in the requirements that are not easily detectable. Formal methods are mathematically rigorous techniques that can aid...