These are the slides of the course "Specification and verification of e-contracts" given at the SEFM'08 School (10 hours). Cape Town, South Africa, Nov 2008:


  • Presentation
  • 1. Introduction
  • 2. Components, Services and Contracts
  • 3-4. Modal Logics
  • 5. Deontic Logic
  • 6. Challenges in Defining a Good Language for Contracts
  • 7. Specification of 'Deontic' Contracts Using CL
  • 8. Verification of 'Deontic' Contracts in CL
  • 9-10. Exercises

    • Go back to Gerardo Schneider's Homepage