TY  - RPRT
TI  - Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
AU  - Inigo Incer
AU  - Apurva Badithela
AU  - Josefine Graebener
AU  - Piergiuseppe Mallozzi
AU  - Ayush Pandey
AU  - Sheng-Jung Yu
AU  - Albert Benveniste
AU  - Benoit Caillaud
AU  - Richard M. Murray
AU  - Alberto Sangiovanni-Vincentelli
AU  - Sanjit A. Seshia
PY  - 2023
DO  - 10.1145/3704736
UR  - https://arxiv.org/abs/2303.17751
ID  - 2303.17751
ER  -