Goal structuring notation

Goal structuring notation is a graphical argument used to document and present proof that safety goals have been achieved in a clearer format than plain text.[1] The notation is a diagram that builds its safety case through logic-based maps.[2] Originally developed at the University of York during the 1990s,[3] it gained popularity in 2012 and has been used to track safety assurances in industries such as traffic management and nuclear power.[4] By 2014, it had become the standard format for graphic documentation of safety cases and was being used in other contexts such as patent claims, debate strategy, and legal arguments.[5]