Search Results for "vdm"

x
Sort By:

Showing 10 open source projects for "vdm"

View related business solutions
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 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
  • 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
  • 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
  • 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
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    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

Related Searches

Related Categories

MongoDB Logo MongoDB