The Use of Automated Theory Formation in Support of Hazard Analysis

Andrew Ireland, Maria Teresa Llano, Simon Colton. The Use of Automated Theory Formation in Support of Hazard Analysis. In Aaron Dutle, César A. Muñoz, Anthony Narkawicz, editors, NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Volume 10811 of Lecture Notes in Computer Science, pages 237-243, Springer, 2018. [doi]

Abstract

Abstract is missing.