Zhao Han, Shahzaib Qazi, Michael Werner, Keerthikumara Devarajegowda, Wolfgang Ecker. On Self-Verifying DSL Generation for Embedded Systems Automation. In Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021. pages 1-7, VDE/IEEE, 2021. [doi]
Abstract is missing.