Thorough verification is a part of the design process instrumentation and control systems if they must comply with crucial safety requirements. Model checking can be applied to formal model such system reason about its correctness based on specification provided. When violation occurs, tool outputs proof in form failure trace, which represents state sequence transitions where requirement does n...

In many contexts, it is of interest to assess the impact selected parameters on failure probability a physical system. To this end, one can perform conditional reliability analysis, in which becomes function these parameters. Computing requires recomputing probabilities for sample sequence parameters, strongly increases already high computational cost conventional analysis. We alleviate costs b...