Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho. Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. In 2014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014. pages 49-54, IEEE Computer Society, 2014. [doi]
Abstract is missing.