Safety Correctness and Reliability Analysis using Formal Methods

Abstract

Safety Correctness and Reliability Analysis using Formal Methods 2 SUMMARY The objective of this report was to further investigate and develop a methodology using formal methods for doing safety correctness and reliability analysis. In an earlier report some formal analysis methods were demonstrated. In this report, after an expansion of the possibility to… (More)

Topics

20 Figures and Tables

Slides referencing similar topics