Однако написания программного обеспечения без дефектов недостаточно. По моему опыту, по крайней мере так же трудно писать программное обеспечение, которое безопасно, то есть программное обеспечение, которое ведет себя разумно в неблагоприятных условиях.