Login / Signup

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.

Wei-Fan ChiangGanesh GopalakrishnanGuodong LiZvonimir Rakamaric
Published in: NASA Formal Methods (2013)
Keyphrases
  • formal analysis
  • conflict directed
  • variable ordering
  • upper bound
  • agent model
  • ban logic
  • formal methods
  • constraint satisfaction
  • conflict resolution
  • forward search