search

troeger / fuzzed

The Open Reliability Editor (ORE) for dependability modeling and analysis.
https://live.ore-project.org
21 stars 9 forks source link

Minimal Cutset Backend #55

Closed laena closed 6 years ago

laena commented 9 years ago

The MOCUS backend needs to be completed, tested, and maybe adjusted for dynamic models.

rakhimov commented 6 years ago

105 can help with this issue.

However, I doubt MOCUS can be extended/applied to dynamic models.

troeger commented 6 years ago

Solved by #105.