For any sufficiently complex system, evaluating the interfaces, the constraints, the guarantees, its test, is the only way you can practically work with them IMHO.

Most developers, if not pretty much everybody, will struggle to keep anything over 100k lines (my made up arbitrary number) of code in their head.