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