Can Someone Prove Your Operator Won’t Get Distracted? A Gentle Introduction to Formal Methods in Human Factors
Proceedings of the Human Factors and Ergonomics Society Annual Meeting
Published online on October 14, 2025
Abstract
Proceedings of the Human Factors and Ergonomics Society Annual Meeting, Volume 69, Issue 1, Page 1887-1892, September 2025.
Formal methods have proven helpful in modeling complex systems and ensuring they function correctly. This paper offers some basic guidelines for HFES practitioners in choosing whether to employ formal methods. It also touches on emerging approaches to ...
Formal methods have proven helpful in modeling complex systems and ensuring they function correctly. This paper offers some basic guidelines for HFES practitioners in choosing whether to employ formal methods. It also touches on emerging approaches to ...