- Adobe Premiere / Avid...
- wahrscheinlich die meisten Hobbyvideoschnittprogramme für ~50€
- das kostenlose VirtualDub mit passendem Codec und
Zoom Filter
Vermutlich in absteigender Preisreihenfolge und aufsteigendem Aufwand

Ein Spezialprogramm kenne ich leider nicht.