2000 character limit reached
Some Algebraic Aspects of Assume-Guarantee Reasoning (2309.08875v1)
Published 16 Sep 2023 in cs.LO, cs.SY, and eess.SY
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.