2009
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.
