Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262 Author(s): Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, and Christian Sauer Download
