Wells, S., Yuan, T., Manandhar, S., & Kelly, T. (2015, October). Automatically Detecting Fallacies in System Safety Arguments. Paper presented at 15th International Workshop on Computational Models of Natural Argument(CMNA15)
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 demonstrat...
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