Designing bug-proof engines

A spectrum of engineering philosophies