utwente-fmt/ltsmin

Stars
52
Rank 560,474 (Top 12 %)
Language
C
License
BSD 3-Clause "New...
Created about 10 years ago
Updated 9 months ago

utwente-fmt/ltsmin

utwente-fmt

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The LTSmin model checking toolset

vercors

The VerCors verification toolset for verifying parallel and concurrent software

sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

buddy

UrPal

UPPAAL Sanity Checker

DFTRES

Rare event simulation tool for Dynamic Fault Trees

jsylvan

JNI Bindings for Sylvan

ppopp16

Multi-Core On-The-Fly SCC Decomposition

attop

Attack Tree translator and analyzer

Rabin-SPIN2017

Explicit State Model Checking with Generalized Büchi and Rabin Automata

ltl2ba

iFM19-MessagePassingAbstr

Practical Abstractions for Automated Verification of Message Passing Concurrency

Adt2Upp

Attack tree convertor from ADTool to Uppaal

llmc

Low-Level Model Checker

lace

Work-stealing framework Lace

Rabin-STTT

Explicit State Model Checking with Generalized Büchi and Rabin Automata

FMCAD-2023

Artifact for the submission of our paper to FMCAD 2023

BW-NFM2016

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis

sylvan-tacas2015

Experimental data of Sylvan (TACAS 2015 paper)

distbdd-tacas16

DistBDD: Distributed Binary Decision Diagrams