• Formal analysis of pilot error using agent safety logic 

    Ahrenbach, Seth (University of Missouri--Columbia, 2016)
    Formal methods is the study of applying mathematical and logical techniques to verify and analyze information systems. Not much work has been done in applying formal methods techniques to the human component of information ...