vdmpp

The Overture Tool

Major mode for the Vienna Development Method

Work done for MFES course @ MIEIC, FEUP. Done with @diogotorres97 and @antonioalmeida

My M.Sc. thesis: "A VMD-RT Methodology for the Hw/Sw Co-Design of Embedded Systems". The repository hosts VDM++, VDM-RT and UML models as well as the full thesis.

Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde

A docker image to create an environment to run vdmj on the CLI

Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde

VDM++ implementation of elevator control system

Smart linting and syntax highlighting(rough) for VDM++ in VSCode.

Formal specification for student class written in VDM++

Test Cases Auto-Generation from a VDM++ Specification

🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.

A simple VDM++ script for a cellular reward system

External tests for the Overture tool

A native macOS Kanban harness for Claude Code, turning project boards into live AI agents that self-organize by conversation state.