Can software really be bug-free?

It is often said that all software inevitably contains bugs. But is this really true? Why do we regard it as unusual when a bridge collapses or an automobile breaks down - yet when a software program crashes, we just shrug our shoulders and restart?

The myth that software inevitable contains bugs allows software developers to use outdated methods and tools that offer little protection against human error. In contrast, bridges and automobiles are designed to be "correct by construction", using mathematical modelling tools to ensure that the design is correct before the artifact is built.

Today, correct by construction software development is not only feasible but also economic. Perfect Developer is a unique model driven development tool for creating bug-free software. Unlike other MDD tools, models in Perfect Developer include precise specifications of required behaviour. This allows automated mathematical verification and the generation of complete, ready-to-compile code; so that software engineers can create bug-free software quickly and economically.