%0 Journal Article %A Pham Ba Quang and Nguyen Tien Dat and Huynh Quyet Thang %D 2007 %J International Journal of Computer and Systems Engineering %B World Academy of Science, Engineering and Technology %I Open Science Index 3, 2007 %T Investigate the Relation between the Correctness and the Number of Versions of Fault Tolerant Software System %U https://publications.waset.org/pdf/456 %V 3 %X In this paper, we generalize several techniques in developing Fault Tolerant Software. We introduce property “Correctness" in evaluating N-version Systems and compare it to some commonly used properties such as reliability or availability. We also find out the relation between this property and the number of versions of system. Our experiments to verify the correctness and the applicability of the relation are also presented. %P 732 - 737