Using symbolic execution for veifying safety critical systems