Sign in

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

Inigo IncerApurva BadithelaJosefine GraebenerPiergiuseppe MallozziAyush PandeySheng-Jung YuAlbert BenvenisteBenoît CaillaudRichard M. MurrayAlberto L. Sangiovanni-VincentelliSanjit A. Seshia
Published in: CoRR (2023)
Keyphrases
  • model based reasoning
  • artificial intelligence
  • computer vision
  • information systems
  • design process
  • knowledge base
  • case study
  • data analysis
  • user interface
  • detailed design