Korektnost (matematická informatika)