Login / Signup

Bounded model checking of C++ programs based on the Qt cross-platform framework.

Felipe R. MonteiroMário GarciaLucas C. CordeiroEddie Batista de Lima Filho
Published in: Softw. Test. Verification Reliab. (2017)
Keyphrases
  • cross platform
  • real world
  • reinforcement learning
  • search algorithm
  • open source
  • business process