Menu główne:
Oprogramowanie absolutnie bezbłędne to mrzonka – nawet matematycznie dowiedziona poprawność kodu nie świadczy o braku błędów wynikających np. z wadliwej implementacji.