Chrome Extension

WeChat Mini Program

Use on ChatGLM

Log in

Academic Profile User Profile

My Following Paper Collections Browse History

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design

Inigo Incer,Apurva Badithela,Josefine B. Graebener,Piergiuseppe Mallozzi,Ayush Pandey,Nicolas Rouquette,Sheng-Jung Yu,Albert Benveniste,Benoît Caillaud,Richard M. Murray,Alberto L. Sangiovanni-Vincentelli,Sanjit A. Seshia

ACM Trans Cyber Phys Syst（2025）

Cited 0|Views4

Key words

assume-guarantee reasoning,contracts,system-level design,computational logic

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined