\newchapter{Verification}

\leveldown{}

% sections:
\input{verif/int_over/main}
\input{verif/popcount/main}
\input{verif/KMP/main}
\input{verif/boyer_moore/main}

\levelup{}