Alessandro Bernardini, Wolfgang Ecker, Ulf Schlichtmann. Efficient handling of the fault space in functional safety analysis utilizing formal methods. In 2016 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016. pages 1-7, IEEE, 2016. [doi]
Abstract is missing.