News from the MegaM@Rt2 Project

Hierarchical Block Diagram Translations

Hierarchical Block Diagram Translations

Hierarchical block diagrams (HBDs) are at the heart of embedded system design tools, including Simulink. Numerous translations exist from HBDs into languages with formal semantics, amenable to formal verification. However, none of these translations has been proven...

Share This