ESBMC-GPU A context-bounded model checking tool to verify CUDA programs von Monteiro, Felipe R., da S. Alves, Erickson H., Silva, Isabela S., Ismail, Hussama I., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Volltext

A method to localize faults in concurrent C programs von S. Alves, Erickson H. da, Cordeiro, Lucas C., L. Filho, Eddie B. de

Volltext

A method to localize faults in concurrent C programs von S. Alves, Erickson H. Da, Cordeiro, Lucas C, L. Filho, Eddie B. De

Volltext

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs von Monteiro, Felipe R, Da S. Alves, Erickson H, Silva, Isabela S, Ismail, Hussama I, Cordeiro, Lucas C, De Lima Filho, Eddie B

Volltext

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version) von Alves, Erickson H. da S, Cordeiro, Lucas C, Filho, Eddie B. de Lima

Volltext bestellen

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version) von Erickson H da S Alves, Cordeiro, Lucas C, Eddie B de Lima Filho

Volltext