I would assume they use some sort of terminal emulator if that counts. There's probably legacy systems emulators that they use. Your definition of hobbyist and

I would assume they use some sort of terminal emulator if that counts. There's probably legacy systems emulators that they use. Your definition of hobbyist and professional is strange. Just because a company hired people and paid them to develop an emulator in the broad sense of what an emulator is doesn't make it more professional... I mean you have to think about also all of the things that come with defense industry. Simulating board layout chip logic and all of that could be emulation if you think about it and that is more niche than just professional.