AI Chat AI Image Generator AI Video Text to Speech

Some Algebraic Aspects of Assume-Guarantee Reasoning

09/16/2023

∙

by Inigo Incer, et al.

∙

∙

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.

Inigo Incer
6 publications
Albert Benveniste
8 publications
Alberto Sangiovanni-Vincentelli
34 publications

page 1

page 2

page 3

page 4

research

∙ 03/31/2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design

Contract-based design is a method to facilitate modular system design. W...

0 Inigo Incer, et al. ∙

research

∙ 05/26/2021

Hypercontracts

Contracts (or interface) theories have been proposed to formally support...

0 Inigo Incer, et al. ∙

research

∙ 05/19/2019

About a 'concrete' Rauszer Boolean algebra generated by a preorder

Inspired by the fundamental results obtained by P. Halmos and A. Monteir...

0 Luisa Iturrioz, et al. ∙

research

∙ 06/22/2023

The Power of Menus in Contract Design

We study the power of menus of contracts in principal-agent problems wit...

0 Guru Guruganesh, et al. ∙

research

∙ 02/25/2013

Phoneme discrimination using KS algebra I

In our work we define a new algebra of operators as a substitute for fuz...

0 Ondrej Such, et al. ∙

research

∙ 02/25/2016

A Neutrosophic Recommender System for Medical Diagnosis Based on Algebraic Neutrosophic Measures

Neutrosophic set has the ability to handle uncertain, incomplete, incons...

0 Mumtaz Ali, et al. ∙

research

∙ 02/02/2013

Class Algebra for Ontology Reasoning

Class algebra provides a natural framework for sharing of ISA hierarchie...

0 Daniel Buehrer, et al. ∙