Verifying digital systems with MATLAB.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho

Browse the full ISSTA paper archive.