vdmpp

There are 0 repository under vdmpp topic.

• overturetool / overture

  The Overture Tool

  vdmvdm-slvdmppvdmrtideformal-methodsovertureeclipsejavacode-generation
  Language:Java 49

• peterwvj / vdm-mode

  Major mode for the Vienna Development Method

  vdmvdm-slvdmppvdm-rtemacselisp
  Language:Emacs Lisp 4

• cyrilico / facebook-vdmpp

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

  javavdmpp
  Language:Java 1

• afonsojramos / feup-mfes

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

  vdmppformal-modelsformal-methodsmfesmfes-feupfeup
  Language:TeX 0

• azmanuddin94 / FormalMethod

  Formal specification for student class written in VDM++

  vdmppvdmformal-methodsformal-specification
  0

• AndreFCruz / feup-mfes

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

  vdmvdmppformal-methodsfeup-mfes
  Language:Java

• aquelemiguel / feup-mfes

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

  vdmvdmppovertureformal-models
  Language:Java

• BlackyTay / MyReward

  A simple VDM++ script for a cellular reward system

  vdmppformal-methods

• closekn / vdmj-cli

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

  vdmvdmpp
  Language:Dockerfile

• EdgarACarneiro / feup-mfes

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

  feup-mfesfeupmfesoverturevdmpp
  Language:Java

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

  vdmrtvdmpphardware-software-designmodellingembedded-systems
  Language:Gnuplot

• jelasus / ElevatorControlSystem

  VDM++ implementation of elevator control system

  vdmppformal-methods

• korosuke613 / BWDM

  Test Cases Auto-Generation from a VDM++ Specification

  javakotlinvdmvdmpptesting
  Language:Kotlin

• korosuke613 / vdmpp-vscode-extension

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

  visual-studio-codevdmpplanguage-server-protocol
  Language:TypeScript

• overturetool / externaltests

  External tests for the Overture tool

  vdmvdm-slvdmppvdmrttestingoverture

• sofiaoreis / mfes-green-way

  vdmpp
  Language:Java