Automatically Detecting Fallacies in System Safety Arguments (2016)
Presentation / Conference Contribution
Yuan, T., Manandhar, S., Kelly, T., & Wells, S. (2015, October). Automatically Detecting Fallacies in System Safety Arguments. Presented at 15th International Workshop on Computational Models of Natural Argument (CMNA15), Bertinoro, Italy

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.