文件名称：VDMPad:用于 VDM-SL 的简单 Web IDE-开源
文件大小：28.8MB
文件格式：ZIP
更新时间：2024-08-09 17:20:28
开源软件
VDMPad 是基于 VDMJ 和 Squeak Smalltalk 的 VDM-SL 的简单 Web IDE 服务器。 您可以在 Mac 或 Linux PC 上启动 VDMPad 服务器并使用浏览器打开“http://localhost:8085”。 虽然 VDM 不能在 Windows 平台上运行，但您可以使用 Windows/iOS/Android 设备打开运行在 Mac 或 Linux 服务器上的 VDMPad。