Proving that a system with software trap handlers for unimplemented instructions behaves as if they were implemented in hardware - View it on GitHub