Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262

Author(s):
Felipe A. da Silva, Ahmet C. Bagbaba, Said Hamdioui and Christian Sauer