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
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
The SLiVER LAbS VERifier
Converter of function block models from NuSMV to Promela (SPIN)
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
Verify properties of Ruby state machines using CTL
Using model checking and inference to determine all 10 pairs from the Are You The One show, which is a game of Mastermind.
Bully election algorithm model written in TLA+ and PlusCal
PIACERE DOML Model Checker
A framework written in Java for the creation and simulation of bigraphs.
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."