peterwvj/vdm-mode

Major mode for the Vienna Development Method

Language: Emacs Lisp - Size: 811 KB - Last synced at: 9 days ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 1

overturetool/overture

The Overture Tool

Language: Java - Size: 210 MB - Last synced at: 28 days ago - Pushed at: 7 months ago - Stars: 50 - Forks: 24

jaesparza/MScThesis

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.

Language: Gnuplot - Size: 3.99 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

afonsojramos/feup-mfes 📦

Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods

Language: TeX - Size: 1.1 MB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

BlackyTay/MyReward

A simple VDM++ script for a cellular reward system

Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

jelasus/ElevatorControlSystem

VDM++ implementation of elevator control system

Size: 1000 Bytes - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

korosuke613/vdmpp-vscode-extension

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

Language: TypeScript - Size: 15.8 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

cyrilico/facebook-vdmpp

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

Language: Java - Size: 1.06 MB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

korosuke613/BWDM Fork of HirokiTachiyama/BWDM

Test Cases Auto-Generation from a VDM++ Specification

Language: Kotlin - Size: 35.2 MB - Last synced at: 7 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 1

overturetool/externaltests

External tests for the Overture tool

Size: 832 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

EdgarACarneiro/feup-mfes Fork of AndreFCruz/feup-mfes

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

Language: Java - Size: 3.25 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

aquelemiguel/feup-mfes

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

Language: Java - Size: 3.9 MB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

AndreFCruz/feup-mfes

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

Language: Java - Size: 3.25 MB - Last synced at: 26 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

azmanuddin94/FormalMethod

Formal specification for student class written in VDM++

Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

sofiaoreis/mfes-green-way

Language: Java - Size: 661 KB - Last synced at: over 1 year ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0