Showing 1 - 4 results of 4 for search 'Lima Filho, E', query time: 0.02s
Refine Results
-
1
Bounded model checking of C++ programs based on the Qt cross-platform framework by Cordeiro, L, Monteiro, F, Garcia, M, Lima Filho, E
Published 2017Journal article -
2
Verifying digital systems with MATLAB by Chaves, L, Bessa, I, Cordeiro, L, Kroening, D, Lima Filho, E
Published 2017Conference item -
3
OptCE: A counterexample-guided inductive optimization solver by Albuquerque, H, Araújo, R, Bessa, I, Cordeiro, L, de Lima Filho, E
Published 2017Conference item -
4
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs by Monteiro, F, da S. Alves, E, Silva, I, Ismail, H, Cordeiro, L, de Lima Filho, E
Published 2017Journal article