Some Algebraic Aspects of Assume-Guarantee Reasoning

09/16/2023
by   Inigo Incer, et al.
0

We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract algebra. We study monoid and semiring structures in contract algebra – and the mappings between such structures. We discuss the actions of a Boolean algebra on its contract algebra.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset