Hypercontracts - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 2022

Hypercontracts

Hypercontrats

Résumé

Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. We propose hypercontracts, a general model with a richer structure for its underlying model of components, subsuming simulation preorders. While general, the new model provides a richer algebra for its notions of refinement, parallel composition, and quotient. Further, it allows the introduction of new operations. Building on top of these foundations, we propose conic hypercontracts, which are still generic but come with a finite description.

Dates et versions

hal-04807165 , version 1 (14-12-2022)
hal-04807165 , version 2 (27-11-2024)

Identifiants

Citer

Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli, Sanjit Seshia. Hypercontracts. NASA Formal Methods, 13260, Springer International Publishing, pp.674-692, 2022, Lecture Notes in Computer Science, 978-3-031-06773-0. ⟨10.1007/978-3-031-06773-0_36⟩. ⟨hal-04807165v2⟩
46 Consultations
0 Téléchargements

Altmetric

Partager

More