Login / Signup

CrÈme: an Automatic Invariant Prover of Behavioral Specifications.

Masahiro NakanoKazuhiro OgataMasaki NakamuraKokichi Futatsugi
Published in: Int. J. Softw. Eng. Knowl. Eng. (2007)
Keyphrases
  • affine transformation
  • semi automatic
  • multiscale
  • theorem proving
  • genetic algorithm
  • decision making
  • website
  • high level
  • similarity measure
  • input image