TY  - RPRT
TI  - Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
AU  - Anitha Murugesan
AU  - Isaac Wong
AU  - Joaquín Arias
AU  - Robert Stroud
AU  - Srivatsan Varadarajan
AU  - Elmer Salazar
AU  - Gopal Gupta
AU  - Robin Bloomfield
AU  - John Rushby
PY  - 2024
DO  - 10.1017/s1471068424000425
UR  - https://arxiv.org/abs/2408.11699
ID  - 2408.11699
ER  -