utwente-fmt/buddy utwente-fmt/buddy

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    C
  • Created almost 10 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
utwente-fmt/buddy
github

utwente-fmt

Reviews

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

Repository Details

More Repositories

1

vercors

The VerCors verification toolset for verifying parallel and concurrent software
Scala
55
star
2

ltsmin

The LTSmin model checking toolset
C
52
star
3

sylvan

Multi-core Decision Diagram (BDD/LDD) implementation
C
41
star
4

dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
C++
12
star
5

UrPal

UPPAAL Sanity Checker
Kotlin
5
star
6

DFTRES

Rare event simulation tool for Dynamic Fault Trees
Java
4
star
7

jsylvan

JNI Bindings for Sylvan
Java
3
star
8

ppopp16

Multi-Core On-The-Fly SCC Decomposition
Python
3
star
9

attop

Attack Tree translator and analyzer
Java
3
star
10

Rabin-SPIN2017

Explicit State Model Checking with Generalized Büchi and Rabin Automata
R
3
star
11

ltl2ba

C
2
star
12

iFM19-MessagePassingAbstr

Practical Abstractions for Automated Verification of Message Passing Concurrency
Coq
1
star
13

Adt2Upp

Attack tree convertor from ADTool to Uppaal
Java
1
star
14

llmc

Low-Level Model Checker
1
star
15

lace

Work-stealing framework Lace
C
1
star
16

Rabin-STTT

Explicit State Model Checking with Generalized Büchi and Rabin Automata
R
1
star
17

FMCAD-2023

Artifact for the submission of our paper to FMCAD 2023
Python
1
star
18

BW-NFM2016

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

sylvan-tacas2015

Experimental data of Sylvan (TACAS 2015 paper)
Python
1
star
20

distbdd-tacas16

DistBDD: Distributed Binary Decision Diagrams
C
1
star