Walter Soto Encinas, Francisco Romulo da Silva Araujo, Harney Abrahim. Infrastructure for formal and dynamic verification of peripheral programming model. In 17th Latin-American Test Symposium, LATS 2016, Foz do Iguacu, Brazil, April 6-8, 2016. pages 165-170, IEEE, 2016. [doi]
Abstract is missing.