Formal Modelling in VDM
☆31Nov 3, 2026Updated this week
Alternatives and similar repositories for vdmj
Users that are interested in vdmj are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visual Studio Code extension for VDM language support☆21Oct 27, 2026Updated last week
- source code of VDMTools☆15Mar 30, 2022Updated 4 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated 2 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 6 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)☆12Jun 17, 2019Updated 7 years ago
- ☆11Feb 27, 2026Updated 8 months ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 3 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆22Oct 9, 2018Updated 8 years ago
- An itree-like data-structure to additionally support internal non-determinism☆24Updated this week
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The BToolkit, a toolkit supporting software development with the B-method.☆41Apr 19, 2024Updated 2 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 3 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆22Updated this week
- ☆10Jun 13, 2019Updated 7 years ago
- Rust port of the Tamarin Prover☆15Updated this week
- A port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- Philippe Charles's LALR Parser Generator. It was used to build the Eclipse Java compiler, as well as many of IBM's product compilers.☆13Aug 11, 2018Updated 8 years ago
- KDE Board Game Suite☆13Feb 22, 2012Updated 14 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Oct 30, 2020Updated 6 years ago
- Regionalized Value State Dependence Graph written in Rust☆13Nov 17, 2019Updated 6 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Lightweight UNIX-friendly text editor optimized for Dvorak and QWERTY keyboards☆10Mar 2, 2014Updated 12 years ago
- Compile-time checked printf☆14Aug 3, 2023Updated 3 years ago
- Retro Protocol Plugins☆14Aug 29, 2026Updated 2 months ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Oct 21, 2026Updated 2 weeks ago
- Multi-view learning approaches for stock return prediction with tweets.☆12Jun 17, 2020Updated 6 years ago
- PID-based temperature control library☆11Apr 15, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆30Oct 25, 2022Updated 4 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆31Sep 15, 2021Updated 5 years ago
- Implementation of the Sieve mail filtering language.☆15May 31, 2012Updated 14 years ago
- A modern(ish) cross-platform open-source 2D game engine built on top of SDL2. C++98/03/11/14/17 compatible. Requires plf::colony and plf:…☆18Feb 17, 2019Updated 7 years ago
- A very basic introduction to reverse engineering (in general and for Android) as well as some useful tools (apktool, dex2jar, jd-cmd) pac…☆12Jul 21, 2020Updated 6 years ago
- Soar-SC, Soar Starcraft AI☆14Jun 4, 2013Updated 13 years ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 13 years ago