# Analyzing a Sorting Algorithm with KLEE

DevFeed: [Analyzing a Sorting Algorithm with KLEE](<https://devfeed.tech/articles/worst-sorting-algorithm-i-ever-saw-proving-it-using-klee-20587.md>)

Original publisher: [Read original article](<https://yurichev.com/blog/weird_sort_KLEE/>)

Published: 2018-07-24T22:00:00Z

Content type: article

Language: en

Sources: [Dennis Yurichev](<https://devfeed.tech/sources/dennis-yurichev.md>)

Topics: [Sorting](<https://devfeed.tech/topics/sorting.md>), [Algorithm](<https://devfeed.tech/topics/algorithm.md>)

Tags: [algorithm](<https://devfeed.tech/tags/algorithm.md>), [sorting](<https://devfeed.tech/tags/sorting.md>)

## AI overview

The article examines a sorting algorithm and uses KLEE to prove properties about it.

## Source excerpt

Worst sorting algorithm I ever saw: proving it using KLEE