R package for data cleaning, preliminary data analysis and modeling assessing with visualisation.
-
Updated
Jul 27, 2018 - R
R package for data cleaning, preliminary data analysis and modeling assessing with visualisation.
Model Checker Collection for the Model Checking Contest @ Petri nets
NuSMV Examples for Software Model Verification
Prototype C++ implementations of multi-terminal BDD node-table and symbolic Bellman-Ford for graph games
The SLiVER LAbS VERifier
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Simulation Class Library (SCL)
This repository store resources related to our project on model checking of consensus algorithms.
An implementation level model checker for checking distributed systems implemented in Go
An embedding of the Murphi model checking language into Lean
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
A Class Field Value Validation Library.
Experimental system model generator for RTS
Uninterpreted functions examples
I used a public database in order to create a logistic regression model for detecting suspicious credit card activities.
A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm
My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.
Detailed exploration of random forest classifiers, including data cleaning, model building, and performance evaluation on various datasets.
Add a description, image, and links to the model-checking topic page so that developers can more easily learn about it.
To associate your repository with the model-checking topic, visit your repo's landing page and select "manage topics."