model-verification

There are 0 repository 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.

  data-sciencedatamodelmachine-learningdata-curationmodel-verificationdata-verification
  Language:Jupyter Notebook 2

• peplxx / VeHa-2023-HYPE

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

  contest-solutionmodelmodel-verificationpromelapromela-modelspinverification
  Language:Promela 0

• Phoenix-Effect / Finite-Automata-Verifier

  A model verifier for finite automata written in C++

  finite-state-machinefinite-automatamodel-verification
  Language:C++ 0

• bznick98 / pyC2E2

  Transform C2E2 into a Python package.

  model-verification
  Language:C++

• M-TalhaSahin / MODELVV

  A helper desktop tool for UPPAAL model verification application

  model-verificationpythontooluppaalpyqt5
  Language:Python

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

  A model verification project on OctoMap with using UPPAAL tool

  model-checkingmodel-verificationoctomapuppaal
  Language:q