Login / Signup

Coinductive Verification of Program Optimizations Using Similarity Relations.

Sabine GlesnerJohannes LeitnerJan Olaf Blech
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • similarity relations
  • model checking
  • fuzzy relations
  • real time
  • neural network
  • rough sets
  • genetic algorithm
  • knowledge representation