Just Enough Formality in Assurance Argument Structures.

Torin Viger Rick Salay Gehan M. K. Selim Marsha Chechik

Published in: SAFECOMP (2020)

Keyphrases

argument structures
predicate argument
formal specification
tree kernels
similarity measure
text classification
dependency parsing