Login / Signup

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

Wang LinMin WuZhengfeng YangZhenbing Zeng
Published in: Frontiers Comput. Sci. (2014)
Keyphrases
  • real time
  • information retrieval
  • machine learning methods
  • computationally expensive
  • neural network
  • preprocessing
  • evolutionary algorithm
  • empirical studies
  • benchmark datasets