Abstract: Focusing on the impact different ways of formalization have on the according verifications of sorting algorithm, this paper presents the formal specifications of insertion sort, and verifies ...
Abstract: One of the basic problem in computer science is to arrange the items in lexicographic order. Sorting is one of the major research topic. There are number of sorting algorithms. This paper ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback