CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
Indexed from repository: NASA Technical Reports Server
(
ntrs.nasa.gov)
Document Information
| Document Title | CoDefeater: Using LLMs To Find Defeaters in Assurance Cases |
|---|---|
| Author / Organization | Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen |
| Subject & Discipline | REPRINT |
| Categories | Aerospace & Aviation |
| Publication Year | 2026 |
| License / Rights | Public Domain / NASA STI Open Access |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
NASA Technical Reports Server
(ntrs.nasa.gov)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-43801 |
| Original Source Link | Visit Source Page on ntrs.nasa.gov » |