Automated Verification of Functional Correctness of Race-Free GPU Programs.
Kensuke KojimaAkifumi ImanishiAtsushi IgarashiPublished in: J. Autom. Reason. (2018)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- provably correct
- functional language
- real time
- graph theory
- temporal logic
- theorem proving
- graphics hardware
- computer programs
- functional programming
- parallel computation
- parallel implementation
- parallel processing
- automatic programming
- data mining
- data sets
- markov random field
- social networks
- gpu accelerated