utwente-fmt/Rabin-STTT

Stars
1
Language
R
Created over 6 years ago
Updated over 6 years ago

utwente-fmt/Rabin-STTT

utwente-fmt

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

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

vercors

The VerCors verification toolset for verifying parallel and concurrent software

ltsmin

The LTSmin model checking toolset

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

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