Showing 10 open source projects for "vdm"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1

    LivelyWalkThrough

    A GUI prototyping tool on top of VDM-SL specification

    Lively Walk-Through is a GUI prototyping environment that drives VDM-SL specification. Copyright (c) 2013 Research Center for Architecture-Oriented Formal Methods, Kyushu University The development of this program is supported by Grant-in-Aid for Scientific Research (S) 24220001 Architecture Oriented Formal Approaches to High Quality Software Development
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    WeblyWalkThrough

    Web API server by VDM-SL

    Webly Walk-Through is a Web API prototyping server driven by VDM-SL. Copyright (c) 2014 Research Center for Architecture-Oriented Formal Methods, Kyushu University The development of this program is supported by Grant-in-Aid for Scientific Research (S) 24220001 Architecture Oriented Formal Approaches to High Quality Software Development
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Cloudly Walk-Through is a diagram editor with VDM-SL animation. Copyright (c) 2015 Research Center for Architecture-Oriented Formal Methods, Kyushu University The development of this program is supported by Grant-in-Aid for Scientific Research (S) 24220001 Architecture Oriented Formal Approaches to High Quality Software Development
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    VDMPad

    VDMPad

    a simple Web IDE for VDM-SL

    VDMPad is a simple Web IDE server for VDM-SL based upon VDMJ and Squeak Smalltalk. You can launch a VDMPad Server on your Mac or Linux PC and open "http://localhost:8085" with your browser. Although VDM does NOT run on Windows platforms, you can use Windows/iOS/Android devices to open VDMPad running on Mac or Linux server.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    DESTECS
    The DESTECS Integrated Design Environment (IDE) is a new computer based solution for the development of embedded control systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    VDM.net So how can I call you My Dear Project?
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The VooDooM project aims at developing open source support for the VDM language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    This project aims for providing a tool that enables strict verification in VDM++ by translating VDM++ specification into Event-B.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 10
    Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB