A Formal Method for Providing Temporal Equivalence in Binary-to-Binary Translation of Real-Time Applications.

Inkyu Kim, Zary Segall

Browse the full RTSS paper archive.