Login / Signup

Verification conditions for source-level imperative programs.

Maria João FradeJorge Sousa Pinto
Published in: Comput. Sci. Rev. (2011)
Keyphrases
  • imperative programs
  • levels of abstraction
  • learning algorithm
  • sufficient conditions
  • higher level
  • model checking
  • real time
  • genetic algorithm
  • search engine