پروگراممىنىڭ توغرىلىق ئىسپاتى

كومپيۇتېر 程序正确性证明 chéng xù zhèng què xìng zhèng míng