Automatically Detecting Fallacies in System Safety Arguments
(2016)
Presentation / Conference Contribution
Yuan, T., Manandhar, S., Kelly, T., & Wells, S. (2016). Automatically Detecting Fallacies in System Safety Arguments. In Principles and Practice of Multi-Agent Systems (47-59). https://doi.org/10.1007/978-3-319-46218-9_4
Safety cases play a significant role in the development of safety-critical systems. The key components in a safety case are safety arguments, that are designated to demonstrate that the system is acceptably safe. Inappropriate reasoning with safety a... Read More about Automatically Detecting Fallacies in System Safety Arguments.