Using Goal Structuring Notation and Eliminative Argumentation, Socrates allows users to develop assurance arguments that support compliance with industry standards such as ISO 26262, UL 4600, EN 50126 and ISO 21434, or applicable regulatory codes.