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

Felipe Rodrigues Monteiro Sousa Lucas C. Cordeiro Eddie Batista de Lima Filho

Published in: GCCE (2015)

Keyphrases

main contribution
bounded model checking
probabilistic model
neural network
process model
lightweight
cooperative
domain specific
distributed systems
web services
learning algorithm
theoretical framework
genetic algorithm
domain independent
encoding scheme
formal verification
data sets