A Software Safety Verification Method Based on Model Checking

Safety is the most important property for safety-critical systems,and the system should be verified in their safety properties before used in order to ensure the whole system's safety.In this paper,we provide a new method based on FTA(fault tree analysis) and LTL(labeled transition systems)model checking for verifying safety-critical system's safety properties.However,efficiency and safety should be improved in software designing and developing with better application and automation abilities.