Automatic verification of LLVM optimizations
-
Updated
Jul 18, 2024 - C++
Automatic verification of LLVM optimizations
A Modern Probabilistic Model Checker
The Git repository for the mCRL2 toolset.
Reads a state transition system and performs property checking
An LLVM-based formal verification frontend for C programs.
TChecker is an open-source verification tool for timed automata
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
A model checker for safe Petri nets based on partial-order semantics
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
UPMurphi planner for linear and nonlinear continuous PDDL+ models with processes and events
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
An Algorithm for Checking Large Design Spaces
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
Stochastic Model-checking Analyzer for Reliability and Timing
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
DMC Model checker is a modular model checker with a model-agnostic API for state space exploration.
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Temporal Logic (TL)
A LTL (Linear Temporal Logic) Formulas Checking System. SJTU CS3959 Model Checking Course Project.
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."