discontinued - playground for some model checking experimentation
-
Updated
Feb 2, 2013 - Go
discontinued - playground for some model checking experimentation
A Thread Interleaving Explorer for Java Pathfinder (JPF).
An automatic bug repair tool for concurrent Java programs. Utilizes Java PathFinder (JPF) model checker.
CTL model checker, implemented using BDDs (JavaBDD library)
This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.
A reconfigurator tool for fPromela with support for variability abstractions.
An experimental verification and querying language for F24 football data
Repository for the Software Specification 2016/2017 course at IST, University of Lisbon
A simple model checking program for CTL developed for the course of Metodi Formali Per la Verifica di Sistemi.
a web GUI to edit Prism models
Python implementation for the tcc model checking
Modular Model Checking Paper
🌍 The SMV models
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Converter of function block models from NuSMV to Promela (SPIN)
Formal verification engine for Verilog with built-in support for simulating flip-flop metastability
An Algorithm for Checking Large Design Spaces
A series of documented Jupyter notebooks implementing polynomial regression models and model performance analysis
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."