Bounded Program Verification Using an SMT Solver: A Case Study.

Tianhai Liu Michael Nagel Mana Taghdiri

Published in: ICST (2012)

Keyphrases

case study
machine learning
genetic algorithm
test bed
database
real time
multiscale
expert systems
probabilistic model
language model
text classification
asymptotically optimal