The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.

James M. Armstrong, Stephen Paynter

Browse the full SAFECOMP paper archive.