Boeing's Wisk Aero buys Verocel to boost software safety for self-flying eVTOL | TechCrunchWisk Aero acquires Verocel, a software verification company, to ensure high integrity software for its autonomous eVTOL aircraft.