General Dynamics is traded on NYSE. It's very easy to verify that. Look it up on any site such as Yahoo Finance and look at the exchange.