论文信息 - Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design - 字舞流文

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

A. Benveniste | R. Murray | B. Caillaud | S. Seshia | A. Sangiovanni-Vincentelli | Piergiuseppe Mallozzi | Ayush Pandey | Inigo Incer | Apurva Badithela | Josefine Graebener | S. Yu