Explore @utwente-fmt Open Source projects

University of Twente - Formal Methods and Tools (@utwente-fmt)

utwente-fmt

Stars
202
Global Org. Rank 40,195 (Top 13 %)
Registered about 10 years ago
Most used languages

C
31.6 %

Java
21.1 %

Python
15.8 %

R
10.5 %

C++
5.3 %

Coq 5.3 %

Scala
5.3 %

Kotlin
5.3 %
Location 🇳🇱 Netherlands
Country Total Rank 2,315
Country Ranking

Coq 14

Scala
50

C
146

Kotlin
271

R
289

C++
732

Java
863

Python
3,649

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

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