Formal verification of UML state machines with Promela and TLA+/PlusCal
-
Updated
Dec 18, 2024 - TLA
Formal verification of UML state machines with Promela and TLA+/PlusCal
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…
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
A helper desktop tool for UPPAAL model verification application
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
A model verifier for finite automata written in C++
A model verification project on OctoMap with using UPPAAL tool
Add a description, image, and links to the model-verification topic page so that developers can more easily learn about it.
To associate your repository with the model-verification topic, visit your repo's landing page and select "manage topics."