Proving well-formedness of interface specifications

  • Geraldine von Roten
  • Published 2007
Automated software verification systems, that try to prove the correctness of a program, use specifications in the code as a base to verify said program. When this specification includes calls to sideeffect free methods, the verification system might want to use the specification of these side-effect free methods to have more information available for its… (More)