Formally Verified Suffix Array Construction: Formally Verified Suffix Array Construction - Cheung, Louis; Moffat, Alistair; Rizkallah, Christine (Journal of automated reasoning, 2025)
Keywords: Algorithms; Arrays; Artificial Intelligence; Bioinformatics; Computer Science; Construction; Data compression; Data structures; Gene sequencing; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Number theory; Symbolic and Algebraic Manipulation; Suffix Array Construction; Formal Verification; SA-IS Algorithm; Isabelle/HOL; Data Structures