Automatically Detecting Fallacies in System Safety Arguments
Conference Proceeding
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 demonstrat...