Return to Article Details The redundant variables method for checking and correction of computing processes in real time Download Download PDF