Hypercontracts

DOI10.1007/S10703-025-00473-6MaRDI QIDQ6913622zbMATH OpenFDO

Authors Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Publication date 21 October 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10703-025-00473-6

zbMATH Keywords

contractsinterfacesassume-guarantee reasoninghyperpropertieshypercontracts

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• scientific article; zbMATH DE number 1759612 (Why is no real title available?)
• scientific article; zbMATH DE number 7455750 (Why is no real title available?)
• A Structural Proof of the Soundness of Rely/guarantee Rules
• An adjunction between Boolean algebras and a subcategory of Stone algebras
• Assume-guarantee contracts for continuous-time systems
• Error-pruning in interface automata
• Formal specification for deep neural networks
• Information-flow interfaces
• Modal I/O Automata for Interface and Product Line Theories
• Modal interface automata
• Monitoring hyperproperties
• Multiple Viewpoint Contract-Based Specification and Design
• On Modal Refinement and Consistency
• Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• The Unknown Component Problem
• Verifying bounded subset-closed hyperproperties

This page was built for publication: Hypercontracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6913622)