Topic: "model-verification"
melintea/upml
Formal verification of UML state machines with Promela and TLA+/PlusCal
Language: TLA - Size: 1.69 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 3 - Forks: 0
IQTLabs/VennData 📦
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 validation of data.
Language: Jupyter Notebook - Size: 115 MB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
aarryasutar/Pipe_Leak_Estimation_Predictor_Model
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
Language: Jupyter Notebook - Size: 32.2 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
M-TalhaSahin/MODELVV
A helper desktop tool for UPPAAL model verification application
Language: Python - Size: 144 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0
bznick98/pyC2E2
Transform C2E2 into a Python package.
Language: C++ - Size: 1.75 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
Phoenix-Effect/Finite-Automata-Verifier
A model verifier for finite automata written in C++
Language: C++ - Size: 253 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
