NuSMV Examples for Software Model Verification
-
Updated
Sep 11, 2018
NuSMV Examples for Software Model Verification
The SLiVER LAbS VERifier
An implementation level model checker for checking distributed systems implemented in Go
An embedding of the Murphi model checking language into Lean
Djikstra's self-stabilizing token ring, in an asynchronous system, verified using Rebeca.
Generation of efficient state space for Rebeca models extended with timer variables
Needham-Schroeder Symmetric-Key (NSSK) Protocol modelling and model checking using PRISM
A template to run the Spin model checker in order to find and show a trail under the assumption, that there is one to find.
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.
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
Lecture notes and other materials for a one-semester course on data mechanics.
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Init (Main Makefile + Shell Init Script)
Application of Taylor Diagrams to Ecological Niche Models/Species Distribution Models
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."