Automated Synthesis of Protocol Converters with BALM-II

DOI10.1007/978-3-662-49224-6_23zbMath1461.68032OpenAlexW2294479027MaRDI QIDQ4988649

Alan Mishchenko, Giovanni Castagnetti, Tiziano Villa, Nina Yevtushenko, Matteo Piccolo, 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

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

Related Items (1)

Unnamed Item

Uses Software

• BALM-II
• MVSIS

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