Abstract: Reliability and safety are the most important measures in software quality. Although[3-7] propose the differences and relationship between them in different views, there has clearly been the inconsistence about the cognitions on the their relationship. In

Key words: Software reliability, Software safety,Formal method, Relationship between reliability and safety