From interface automata to hypercontracts

DOI10.1007/978-3-031-22337-2_23zbMath1528.68186MaRDI QIDQ6113991

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

Publication date: 10 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Flavors of sequential information flow
• A Modal Interface Theory for Component-based Design
• Timed I/O automata
• Multiple Viewpoint Contract-Based Specification and Design
• An axiomatic basis for computer programming
• Modal I/O Automata for Interface and Product Line Theories
• Verifying bounded subset-closed hyperproperties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From interface automata to hypercontracts