Login / Signup

SMT-based context-bounded model checking for CUDA programs.

Phillipe A. PereiraHigo F. AlbuquerqueIsabela da SilvaHendrio MarquesFelipe R. MonteiroRicardo FerreiraLucas C. Cordeiro
Published in: Concurr. Comput. Pract. Exp. (2017)
Keyphrases
  • bounded model checking
  • model checking
  • context sensitive
  • orders of magnitude
  • formal verification
  • natural language processing
  • contextual information
  • temporal logic