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