Dr. Michael Jastram

Formal Methods find Bug in Sort Code

,

—

For what it’s worth, see the link about a sorting algorithm error uncovered with formal methods.

For what it’s worth: http://www.heise.de/newsticker/meldung/Fehler-in-Standardsortieralgorithmus-mit-formalen-Methoden-aufgedeckt-2570944.html