By the same authors

Software Assurance Arguments vs Formal Mathematical Arguments

Research output: Contribution to conferencePaper

Author(s)

Department/unit(s)

Publication details

DatePublished - Nov 2009
Original languageEnglish

Abstract

This paper discusses the complementary role of software assurance arguments and formal mathematical arguments in justifying the achievement of safety and reliability properties within critical applications. This paper reviews the theoretical foundation of this area and proposes a way forward for combining the use of these two forms of arguments in systems and software engineering.

Bibliographical note

Presented at the 20th International Symposium on Software Reliability Engineering

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations