2016. On Designing Heuristics for Formal Verification Approaches . Sindh University Research Journal - SURJ (Science Series). 48, 1 (Mar. 2016).