Improved Adaptive Fault Tolerance Model for increasing Reliability in Cloud Computing using Event B

             
Reliability= n= SRL=  
             
RF= RF1= RF2=  
             
MaxReliability MinReliability Cycles=