2 ms·
From the article: Verifying the implementation of an emulator for a complex system is hard, especially when the original system has no formal specification.
by brown9-2 17y ago
From the article: Verifying the implementation of an emulator for a complex system is hard, especially when the original system has no formal specification.