A lightweight integration of mutation analysis with the model checker for system safety verification

Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.