Infrastructure for formal and dynamic verification of peripheral programming model. - Walter Soto Encinas; Francisco Romulo da Silva Araujo; Harney Abrahim (LATS, 2016)