An equivalence checker for hardware-dependent embedded system software.

Carlos Villarraga, Bernard Schmidt, Jrg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz

Browse the full MEMOCODE paper archive.