Chaves, Lennon C ; Ismail, Hussama I ; Bessa, Iury V.. Chaves , L C , Ismail , H I , Bessa , I V , Cordeiro , L & de Lima Filho , E B 2019 , ' Verifying Fragility in Digital Systems with Uncertainties using DSVerier v2:0 ' , The Journal of Systems and Software . https://doi.org/10.1016/j.jss.2019.03.015.
,
2019
Monteiro, Felipe R ; Da S. Alves, Erickson H ; Silva, Isabela S... Monteiro , F R , Da S. Alves , E H , Silva , I S , Ismail , H I , Cordeiro , L C & De Lima Filho , E B 2018 , ' ESBMC-GPU A context-bounded model checking tool to verify CUDA programs ' , Science of Computer Programming , vol. 152 , pp. 63-69 . https://doi.org/10.1016/j.scico.2017.09.005.
,
2018
Gadelha, Mikhail Y. R ; Ismail, Hussama I ; Cordeiro, Lucas C Gadelha , M Y R , Ismail , H I & Cordeiro , L C 2017 , ' Handling loops in bounded model checking of C programs via k-induction ' , International Journal on Software Tools for Technology Transfer , vol. 19 , no. 1 , pp. 97-114 . https://doi.org/10.1007/s10009-015-0407-9.
,
2017