Login / Signup

Assertion-level Proof Representation with Under-Specification.

Serge AutexierChristoph BenzmüllerArmin FiedlerHelmut HoracekQuoc Bao Vo
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
  • provably correct
  • levels of abstraction
  • genetic algorithm
  • website
  • object recognition
  • expert systems
  • higher level
  • image representation
  • lower level
  • formal verification
  • higher level of abstraction