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
This project was for a course at TU/e called System Validation. The goal was to create an architecture with parallel components and use formal model checking to evaluate the model. The use case is a simplified EUV wafer stepper from ASML.
Computer Scientist Master Degree - Thesis Work
Synthesis of a controller for system with linear dynamics using restricted LTL formula
Validates the integrity of a furniture by checking it's parts
In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.
The Songlark Toolchain for high-assurance software
An experimental verification and querying language for F24 football data
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."