utwente-fmt Goto Github PK

adt2upp

Attack tree convertor from ADTool to Uppaal

attop

Attack Tree translator and analyzer

bottlesession

Session code for bottle microframework.

buddy

bw-nfm2016

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

bw-tacas-2016

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking

comet

This repository contains all components of COMET tool-chain.

concur19-pndfs

Automated Verification of Parallel Nested DFS

dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

dftres

Rare event simulation tool for Dynamic Fault Trees

distbdd-spin17

Distributed Binary Decision Diagrams (SPIN2017)

distbdd-tacas16

DistBDD: Distributed Binary Decision Diagrams

divine2

easyconfigs

esop2019-programabstractions

Practical Abstractions for Automated Verification of Concurrent Program Behaviour

fmcad-2023

Artifact for the submission of our paper to FMCAD 2023

groove-unfolding

histogram

Produce histograms of class and method use in JVM byte code

ifm19-messagepassingabstr

Practical Abstractions for Automated Verification of Message Passing Concurrency

imca

IMCA is a command-line tool for analysing Markov automata

jsylvan

JNI Bindings for Sylvan

lace

Work-stealing framework Lace

lazy-persistent-trie

A persistent trie with lazily evaluated updates and lock-free concurrent reads for Scala.

lazy-transactions-ideas16

llmc

Low-Level Model Checker

ltl-hvc16

Multi-core SCC-based LTL Model Checking

ltl2ba

ltsmin

The LTSmin model checking toolset

ltsmin-tacas2015

Instructions for installing LTSmin and replicating the runs reported in our TACAS 2015 submission.

ltsmin-travis

LTSmin dependencies for Travis CI builds