Modeling dynamic allocations and deallocations of local memory for translation validation
Files
Date
2025-04-03
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
IIT Delhi
Abstract
Description
Keywords
Translation validation, Dynamic allocation constructs, Blackbox modeling, Whitebox modeling, Transition graph representation