A Coq Framework for More Trustworthy DRAM Controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Browse the full RTNS paper archive.