Symbolic Fault Tree Analysis for Reactive Systems.

Marco Bozzano, Alessandro Cimatti, Francesco Tapparo

Browse the full ATVA paper archive.