Login / Signup
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract).
Felipe R. Monteiro
Mário A. P. Garcia
Lucas C. Cordeiro
Eddie Batista de Lima Filho
Published in:
ASE (2018)
Keyphrases
</>
cross platform
bounded model checking
real world
open source
search algorithm
management system