Login / Signup

Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract).

Felipe R. MonteiroMário A. P. GarciaLucas C. CordeiroEddie Batista de Lima Filho
Published in: ASE (2018)
Keyphrases
  • cross platform
  • bounded model checking
  • real world
  • open source
  • search algorithm
  • management system