Aversan provided software verification services for the F-16 EDSC.

The F-16 Fighting Falcon is a multi-role fighter aircraft developed for the United States Air Force. Its high manoeuvrability allows it to excel in air-to-air combat and air-to-surface attack. The F-16 acts as a low-cost, high-performance weapon system for the United States and its allied nations.