IKOS and AIR-T