Mechanical Verification of Total Correctness through Diversion Verification Conditions

  • Authors:
  • Peter V. Homeier;David F. Martin

  • Affiliations:
  • -;-

  • Venue:
  • Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract