Timing Verification of Undocumented Multicore

The lack of timing verification of undocumented multicore is an obstacle for the use of multicore processors in safety-critical systems. In this project, we developed an abstraction and corresponding analysis that allow timing verification of undocumented hardware.