On Designing Heuristics for Formal Verification Approaches . Sindh. Uni. Res. J. SS 2016, 48 (1).