Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli. From Informal Specifications to an ABV Framework for Industrial Firmware Verification. In Andrea Calimera, Pierre-Emmanuel Gaillardon, Kunal Korgaonkar, Shahar Kvatinsky, Ricardo Reis 0001, editors, VLSI-SoC: Design Trends - 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papers. Volume 621 of IFIP Advances in Information and Communication Technology, pages 179-204, Springer, 2020. [doi]
Abstract is missing.