Claus H. Correl

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Program proving must be made applicable to all stages of program development. In particular, in the design phase, proving could prevent a program development based on erroneous or inconsistent design decisions, with its associated high cost of debugging. Furthermore, the proving activity itself would benefit from an early application in the development(More)
  • 1