search

utwente-fmt / dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
http://fmt.ewi.utwente.nl/tools/dftcalc/
MIT License
12 stars 6 forks source link

DFT with failure probability 0 can fail to give results. #7

Open ennoruijters opened 5 years ago

ennoruijters commented 5 years ago

Simple example (with --imrmc) toplevel "A"; "A" lambda=1 res=1;

This translates to an empty automaton, which IMRMC does not know how to handle.