Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz. Safety across the HW/SW interface - Can formal methods meet the challenge?. In International Symposium on Integrated Circuits, ISIC 2016, Singapore, December 12-14, 2016. pages 1-3, IEEE, 2016. [doi]
Abstract is missing.