model-verification

There are 8 repositories under model-verification topic.

  • 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 Notebook2601

  • 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 Notebook1100

  • melintea/upml

    Formal verification of UML state machines with Promela and TLA+/PlusCal

    Language:TLA1200

  • M-TalhaSahin/MODELVV

    A helper desktop tool for UPPAAL model verification application

    Language:Python0100

  • M-TalhaSahin/Verification-of-Model-in-Octomap

    A model verification project on OctoMap with using UPPAAL tool

    Language:q0103

  • peplxx/VeHa-2023-HYPE

    Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)

    Language:Promela0000

  • Phoenix-Effect/Finite-Automata-Verifier

    A model verifier for finite automata written in C++

    Language:C++0400

  • bznick98/pyC2E2

    Transform C2E2 into a Python package.

    Language:C++20