Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs. - Rakshit Mittal; Rochisnu Banerjee; Santonu Sarkar; Soumyadip Bandyopadhyay (PNSE@Petri Nets, 2020)