Miku uses Yamaha Corporation’s Vocaloid 2, Vocaloid 3, and Vocaloid 4 singing synthesizing technologies, and Crypton Future Media’s Piapro Studio, a standalone singing synthesizer editor.

from Wikipedia