Information-flow interfaces

DOI10.1007/S10703-024-00447-0MaRDI QIDQ6960222zbMATH OpenFDO

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

Publication date 14 July 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-024-00447-0

zbMATH Keywords

contract-based designhyperpropertiesinformation flowinterface theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A modal interface theory for component-based design
• An axiomatic basis for computer programming
• Fundamental approaches to software engineering. 25th international conference, FASE 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings
• 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 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Multiple Viewpoint Contract-Based Specification and Design
• Timed I/O automata: a complete specification theory for real-time systems
• Unifying hyper and epistemic temporal logics

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 Q6960222)