Was ist VDMTools?
VDMTools ist eine Suite von Softwareentwicklungswerkzeugen zur Unterstützung der Vienna Development Method (VDM), einer formalen Spezifikationssprache, die im sicherheitskritischen Software-Engineering verwendet wird. Entwickelt von der CSK Corporation in Japan, umfasst sie einen Type-Checker, einen Interpreter und Funktionen zur Codegenerierung für VDM-SL-, VDM++- und VDM-RT-Spezifikationen.
Dateien, die VDMTools öffnet
Developer Files
Klicken Sie auf ein Badge für Details zum Format - was es ist, wie man es öffnet und wie man es konvertiert.
VDMTools herunterladen
QUELLEwww.vdmtools.jpOffizielle Website - vermeiden Sie Download-Portale von Drittanbietern
