Modeling dynamic allocations and deallocations of local memory for translation validation

Abhishek Rose2025-11-172025-04-03https://ir.iitd.ac.in/handle/123456789/7693enTranslation validationDynamic allocation constructsBlackbox modelingWhitebox modelingTransition graph representationModeling dynamic allocations and deallocations of local memory for translation validationThesis