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