utwente-fmt/BW-NFM2016

Stars
1
Language
License
GNU General Publi...
Created almost 9 years ago
Updated over 8 years ago

utwente-fmt/BW-NFM2016

utwente-fmt

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

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

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

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

sylvan-tacas2015

Experimental data of Sylvan (TACAS 2015 paper)

distbdd-tacas16

DistBDD: Distributed Binary Decision Diagrams