You can use formal verification tools to verify the code. Having preconditions ("assume" instead of "assert") reduces the search space.