Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz. Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. In Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022. pages 1-4, VDE/IEEE, 2022. [doi]
Abstract is missing.