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
An experimental verification and querying language for F24 football data
Efficient On-the-Fly Model Checking for LTL and CTL★.
Djikstra's self-stabilizing token ring, in an asynchronous system, verified using Rebeca.
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
Generation of efficient state space for Rebeca models extended with timer variables
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."