The effects of Susan’s promise

• The postcondition of a promise is an obligation.

• Obligations themselves are further analysed.

• Obligation representation can be integrated with other modules for various checks

(Daskalopulu 1999 PhD Thesis).

Previous slide

Next slide

Back to first slide

View graphic version