Information-flow interfaces

DOI10.1007/978-3-030-99429-7_1zbMATH Open1547.68409MaRDI QIDQ6535550FDOQ6535550

Authors: Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Ničković, Ana Oliveira da Costa 

Publication date: 23 January 2024

Recommendations

• From interface automata to hypercontracts
• Probabilistic Contracts for Component-Based Design
• Probabilistic contracts for component-based design
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
• A modal interface theory with data constraints

zbMATH Keywords

information flowinterface theorycontract-based designhyperproperties

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Design techniques (robust design, computer-aided design, etc.) (93B51)

Cites Work

• Title not available (Why is that?)
• An axiomatic basis for computer programming
• Title not available (Why is that?)
• Timed I/O automata: a complete specification theory for real-time systems
• Title not available (Why is that?)
• A modal interface theory for component-based design
• Title not available (Why is that?)
• Unifying hyper and epistemic temporal logics

Cited In (1)

• From interface automata to hypercontracts

This page was built for publication: Information-flow interfaces

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