SMT-based bounded model checking of fixed-point digital controllers.

Iury Bessa, Renato B. Abreu, Joo Edgar Chaves Filho, Lucas C. Cordeiro

Browse the full IECON paper archive.