If I'm as educated as a think I am (Probably not), I believe they use Toon Boom Harmony! I don't know what version though (I think there's like 3, last time I checked anyways), hope this helped!