buschko

Pinned Repositories

dftcalc
This is the old DFTCalc repo from FMT
Language:C++00
imc2ctmdp
BCG to MRMC translator
Language:C++0 1 01
imca
IMCA is a command-line tool for analysing Markov automata
Language:C++2 2 05
ltsmin
The LTSmin model checking toolset
Language:C0 1 00
dftcalc
DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
Language:C++12 9 126

buschko's Repositories

buschko/imca
IMCA is a command-line tool for analysing Markov automata
Language:C++2 2 05
buschko/dftcalc
This is the old DFTCalc repo from FMT
Language:C++00
buschko/imc2ctmdp
BCG to MRMC translator
Language:C++0 1 01
buschko/ltsmin
The LTSmin model checking toolset
Language:C0 1 00