A computer-algebraic approach to formal verification of data-centric low-level software.

Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

Browse the full MEMOCODE paper archive.