Formal verification of safety-critical user interfaces: a space system case study
Manuel Neiva‐Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2014
Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques. Copyright