Lindsey KuperFeb 26

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?

Show threadkaoudisFeb 26

@lindsey worse: what is *correctness* :D

*ducks, in formal methods*

Show threadchris martens
@kaoudis @lindsey did someone say ducks in formal methods?
Feb 27 at 12:07amWeb