Принимает ISO/IEC 15026-2:2011 для определения минимальных требований к структуре и содержанию гарантийного случая. Гарантийный случай включает в себя утверждение верхнего уровня в отношении свойства системы или продукта (или набора утверждений), систематическую аргументацию относительно этого утверждения, а также доказательства и явные предположения, лежащие в основе этой аргументации. Эта структурированная аргументация, основанная на нескольких уровнях подчиненных утверждений, связывает утверждение верхнего уровня с доказательствами и предположениями.