Automated Verification of Functional Correctness of Race-Free GPU Programs.
Kensuke KojimaAkifumi ImanishiAtsushi IgarashiPublished in: VSTTE (2016)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- provably correct
- functional language
- parallel implementation
- real time
- graph theory
- computer programs
- temporal logic
- parallel computing
- graphics hardware
- graphics processors
- parallel computation
- gpu accelerated
- functional programming
- functional properties
- parallel processing
- search algorithm