An automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs.

Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer

Browse the full ITC paper archive.