Compositional Verification Using a Formal Component and Interface Specification

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 30, 2022
Source ID
10.1145/3508352.3549341

Entities

People

  • Aarti Gupta
  • Huaixi Lu
  • Sharad Malik
  • Yue Xing

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • Princeton University
  • Royal Society of Canada