Goal structuring notation
 | This article, Goal structuring notation, has recently been created via the Articles for creation process. Please check to see if the reviewer has accidentally left this template after accepting the draft and take appropriate action as necessary.
Reviewer tools: Inform author |
Goal Structuring Notation is a graphical argument notation maintained by the the Safety-Critical Systems Club[1]. It is used for documentation and presentation of arguments, in order to prove that a goal has been achieved and is supported by evidence. The notation can be used to demonstrate that a system is sufficiently safe through developing a safety case.