Crossmark

Automated Verification of Functional Correctness of Race-Free GPU Programs

Published Online: 2017-09-07

Published Print: 2018-03

Authors

Kojima, Kensuke https://orcid.org/0000-0001-7245-1810
Imanishi, Akifumi

Igarashi, Atsushi
Funding

Funding for this research was provided by:

Core Research for Evolutional Science and Technology

Core Research for Evolutional Science and Technology
License Information

Text and Data Mining valid from 2017-09-07

Version of Record valid from 2017-09-07
More Information

Article History

Received: 29 August 2017

Accepted: 31 August 2017

First Online: 7 September 2017

Document is current