cs.LO cs.SE
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan Isaac Wong Joaquín Arias Robert Stroud Srivatsan Varadarajan Elmer Salazar Gopal Gupta Robin Bloomfield John Rushby