Modeling dynamic allocations and deallocations of local memory for translation validation

Rose, Abhishek2025-11-142025-04-03https://ir.iitd.ac.in/handle/123456789/7668enTranslation validationDynamic allocation constructsBlackbox modelingWhitebox modelingTransition graph representationModeling dynamic allocations and deallocations of local memory for translation validationThesis