Automated Synthesis of Protocol Converters with BALM-II

DOI10.1007/978-3-662-49224-6_23MaRDI QIDQ4988649zbMATH OpenOpenAlexFDO

Authors Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton

Publication date 18 May 2021

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49224-6_23

Mathematics Subject Classification ID

Network protocols (68M12) Formal languages and automata (68Q45)

Recommendations

• Automated synthesis of application-layer connectors from automata-based specifications
• Automated synthesis of application-layer connectors from automata-based specifications
• Automatic generation of -protocols
• Automated synthesis of distributed self-stabilizing protocols
• scientific article; zbMATH DE number 2222694
• scientific article; zbMATH DE number 1796121

Cited in

(6)

• A discrete event systems approach for protocol conversion
• Interface synthesis and protocol conversion
• scientific article; zbMATH DE number 1008456 (Why is no real title available?)
• Quotient Machines, the Interface Equation and Protocol Conversion
• The quotient in preorder theories
• Automated Technology for Verification and Analysis

Describes a project that uses

Uses Software

• BALM-II
• MVSIS

This page was built for publication: Automated Synthesis of Protocol Converters with BALM-II

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