@techreport{tafat:inria-00636083, TITLE = {{Binary Heaps Formally Verified in Why3}}, AUTHOR = {Tafat, Asma and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00636083}, TYPE = {Research Report}, NUMBER = {RR-7780}, PAGES = {33}, INSTITUTION = {{INRIA}}, YEAR = {2011}, MONTH = Oct, KEYWORDS = {Formal Specification ; Modularity ; Abstraction ; Theories ; Binary Heap ; Heapsort ; Why3}, PDF = {https://inria.hal.science/inria-00636083/file/main.pdf}, HAL_ID = {inria-00636083}, HAL_VERSION = {v1}, }