Old research question: What is a correct emulator?

New research question after thinking about the old research question for a while: Oh god. Oh no. What is an emulator?

@lindsey worse: what is *correctness* :D

*ducks, in formal methods*

@kaoudis @lindsey did someone say ducks in formal methods?