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.
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.