A simple model checking program for CTL developed for the course of Metodi Formali Per la Verifica di Sistemi.
-
Updated
Feb 19, 2017 - Python
A simple model checking program for CTL developed for the course of Metodi Formali Per la Verifica di Sistemi.
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.
A command line tool to interact with klovercloud-cd-cd api
A Rust Library for defining models in Computational Tree Logic and verifying their semantics
Petri Game Strategy Synthesis
Analyzing Transition Systems (Finite State Machines) With NuSMV
A (probabilistic) model checking toolkit fully implemented in Python
A prototype model checker for CTL over constraint semirings
Add a description, image, and links to the ctl topic page so that developers can more easily learn about it.
To associate your repository with the ctl topic, visit your repo's landing page and select "manage topics."