Skip to content

Informing assurance case review through a formal interpretation of GSN core logic

1Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.
Get full text

Abstract

A formalization of a logical subset of Goal Structuring Notation (GSN) arguments is presented. The aim is to reveal the conditions which must be true in order to guarantee that an argument thus formalized is internally consistent. These conditions justify a number of systematic questions which must be answered in the affirmative if a standard safety argument based on natural language is to be believed to be free from inconsistencies. The relevance of these findings to the combination of GSN and controlled natural language with first-order logic semantics is discussed.

Author supplied keywords

Cite

CITATION STYLE

APA

Bandur, V., & McDermid, J. (2015). Informing assurance case review through a formal interpretation of GSN core logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9338, pp. 3–14). Springer Verlag. https://doi.org/10.1007/978-3-319-24249-1_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free