• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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