N sandhya P, A VH. SAGE: Profiling and Optimization in Formal Methods. IJSBAR. 2014;15(1):590-604. Accessed September 27, 2025. https://www.gssrr.org/JournalOfBasicAndApplied/article/view/2237