•  28
    Computer-assisted safety argument review – a dialectics approach
    with Tangming Yuan and Tianhua Xu
    Argument and Computation 6 (2): 130-148. 2015.
    There has been increasing use of argument-based approaches in the development of safety-critical systems. Within this approach, a safety case plays a key role in the system development life cycle. The key components in a safety case are safety arguments, which are designated to demonstrate that the system is acceptably safe. Inappropriate reasoning in safety arguments could undermine a system's safety claims which in turn contribute to safety-related failures of the system. The review of safety …Read more