efremov@linux.com Denis Efremov https://codeberg.org/viklauverk/EventBTool/issues viklauverk/EventBTool viklauverk/EventBTool EventBTool (evbt) works with Event-B models created in the Rodin Platform: it generates documentation (TeX, HTML) and translates models into executable code.