model-verification
Here are 9 public repositories matching this topic...
Formal verification of UML state machines with Promela/spin and TLA+/PlusCal
- Updated
Sep 13, 2025 - TLA
The project builds a Bayesian Network using pressure sensor data to detect pipe leaks, employing probabilistic reasoning to determine the likelihood of leaks based on sensor readings. It involves loading dataset, defining network structure, calculating CPDs, adding them to model, and using Variable Elimination algorithm for inference
- Updated
Jul 30, 2024 - Jupyter Notebook
One of the biggest barriers to widespread machine learning adoption is the difficulty in collecting a 'good' dataset. There is an overall consensus that a 'good' dataset is a big dataset, but we believe that we can do better. As such the VennData project was created to develop tools to guide in the collection, curation, augmentation and validati…
- Updated
Dec 13, 2020 - Jupyter Notebook
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
- Updated
Nov 21, 2023 - Promela
A helper desktop tool for UPPAAL model verification application
- Updated
Apr 16, 2025 - Python
A model verifier for finite automata written in C++
- Updated
Jul 2, 2018 - C++
Model integrity and provenance verification for LLMs and AI models. Generate, verify, and cryptographically secure your model artifacts.
- Updated
Sep 13, 2025 - Python
A model verification project on OctoMap with using UPPAAL tool
- Updated
Jun 10, 2021 - q
Improve this page
Add a description, image, and links to themodel-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with themodel-verification topic, visit your repo's landing page and select "manage topics."