N sandhya P, A VH. SAGE: Profiling and Optimization in Formal Methods. IJSBAR [Internet]. 2014 May 15 [cited 2025 Sep. 27];15(1):590-604. Available from: https://www.gssrr.org/JournalOfBasicAndApplied/article/view/2237