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