Thanks to visit codestin.com
Credit goes to Github.com

#

vdm

Here are 2 public repositories matching this topic...

tomooda / ViennaTalk

ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk

smalltalk vdm pharo formal-methods vdm-sl formal-specification formal-models

Updated Dec 24, 2025
Smalltalk

tomooda / FRAM

FRAM visualization/manipulation library for Pharo

vdm pharo resilience vdm-sl fram

Updated Apr 30, 2024
Smalltalk

Improve this page

Add a description, image, and links to the vdm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the vdm topic, visit your repo's landing page and select "manage topics."