Software Assurance Arguments vs. Formal Mathematical Arguments - A Complementary Role
Presented at the 20th International Symposium on Software Reliability Engineering
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.