N, sandhya P., and Vidya H. A. “SAGE: Profiling and Optimization in Formal Methods”. International Journal of Sciences: Basic and Applied Research (IJSBAR) 15, no. 1 (May 15, 2014): 590–604. Accessed December 2, 2025. https://gssrr.org/JournalOfBasicAndApplied/article/view/2237.