David Coward

The symbolic execution of software