Development and verification of flight software for CANYVAL-C mission