3.4 Verification

• Verify

  • the correctness of a business protocol
  • the robustness of a mode of payment in case of failure
  • fairness of an auction system
  • etc.

• Code verification, model checking, etc.

Previous slide

Next slide

Back to first slide

View graphic version