AVM 2013 Talk: Recent Advances in Causality Checking
On Tuesday May 28th 2013 I gave a talk at the Alpine Verification Meeting in Trento Italy with the title “Recent Advances in Causality Checking”. Abstract: In recent work on the safety analysis of systems we have shown how causal relationships amongst events can be algorithmically inferred from probabilistic counterexamples and subsequently be mapped to fault …
AVM 2013 Talk: Recent Advances in Causality Checking Read More »