Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models

Oluwafemi Odu, Alvine B. Belle, Song Wang +3

An assurance case is a structured set of arguments supported by evidence, demonstrating that a system's non-functional requirements (e.g., safety, security, reliability) have been…