7 citations · 27 across the 11 of their papers we have counts for
1 paper · 1 filter
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli +1
Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts…