Guarantee Contract. It is an extension of contract, structured on the one hand with its assume and guarantee parts, and structured on the other hand according to different clearly identified and agreed-upon facets (data, functionality, time, security, quality, etc.) in its assume or guarantee.
Appears in 2 contracts
Sources: Multi Facets Contract for Modeling and Verifying Heterogeneous Systems, Multi Facets Contract for Modeling and Verifying Heterogeneous Systems