Login / Signup

Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.

Diyaa-Addein AtiyaSteve KingJim Woodcock
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • complete axiomatization
  • data mining
  • artificial neural networks
  • real time
  • databases
  • similarity measure
  • image retrieval
  • mobile robot
  • theorem proving
  • imperative programs