Browsing by Author "Kakil, Sharmeen"
Now showing items 1-1 of 1
-
An Integrated Framework For Verified And Fault Tolerant Software
Elloumi, Samir; Tounsi, Ishraf; Boulifa, Bilel; Kakil, Sharmeen; Jaoua, Ali; Saleh, Mohammad... more authors ... less authors ( Hamad bin Khalifa University Press (HBKU Press) , 2014 , Conference Paper)Fault tolerance techniques should let the program continue servicing in spite of the presence of errors. They are of primary importance mainly in case of mission-critical systems. Their eventual failure may produce important ...