Abstract: In this article, we present a set of methods to accelerate the development process and the verification process of certifiable Software-Defined Radio (SDR) applications, including both Model ...