Verified Visualisation of Textual Modelling Languages

This work formalizes the BON modeling language, both its textual and graphical notation, in PVS. It is accompanied by the article Verified Visualisation of Textual Modelling Languages.

• the textual BON formalisation
• the graphical BON formalisation and translation to textual