Software safety verification in critical software intensive systems