Ghassen Helali, Sofiène Tahar, Osman Hasan. Formal verification of the heavy hitter problem. In 25th IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2012, Montreal, QC, Canada, April 29 - May 2, 2012. pages 1-4, IEEE, 2012. [doi]
Abstract is missing.