Abstract
| Original language | English |
|---|---|
| Pages (from-to) | 129-139 |
| Number of pages | 11 |
| Journal | Journal of Automated Reasoning |
| Volume | 53 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 2014 |
| Externally published | Yes |
Fingerprint
Cite this
}
Proof Pearl : The KeY to Correct and Stable Sorting. / Gouw, Stijn de; Boer, Frank S. de; Rot, Jurriaan.
In: Journal of Automated Reasoning, Vol. 53, No. 2, 2014, p. 129-139.Research output: Contribution to journal › Article › Academic › peer-review
TY - JOUR
T1 - Proof Pearl
T2 - The KeY to Correct and Stable Sorting
AU - Gouw, Stijn de
AU - Boer, Frank S. de
AU - Rot, Jurriaan
PY - 2014
Y1 - 2014
N2 - We discuss a proof of the correctness of two sorting algorithms: Counting sort and Radix sort. The semi-automated proof is formalized in the state-of-the-art theorem prover KeY.
AB - We discuss a proof of the correctness of two sorting algorithms: Counting sort and Radix sort. The semi-automated proof is formalized in the state-of-the-art theorem prover KeY.
U2 - 10.1007/s10817-013-9300-y
DO - 10.1007/s10817-013-9300-y
M3 - Article
VL - 53
SP - 129
EP - 139
JO - Journal of Automated Reasoning
JF - Journal of Automated Reasoning
SN - 0168-7433
IS - 2
ER -