achievements
Appreciation award for Research Excellence (M.Tech. IIT Hyderabad)
Pinaka is the first tool from Indian Academia to take part in SVCOMP 2019
B.Tech College Rank: 1 (overall)
B.Tech University Rank: 22 (overall)
competitions
Pinaka secured 3rd place in ReachSafety-Floats subcategory, 8th place in ReachSafety category and 6th place in Termination category at SVCOMP 2020
Pinaka secured 2nd place in ReachSafety-Floats subcategory in SVCOMP 2019.