Deduktiivisen ohjelman todentamisen yhteydessä haamukoodi on osa ohjelmaa, joka lisätään määrittelyä varten. Haamukoodi ei saa häiritä tavallista koodia siinä mielessä, että se voidaan pyyhkiä ilman havaittavia eroja ohjelman tuloksessa.
![](https://techdiy.info/wp-content/uploads/2018/12/td-2.png)
Deduktiivisen ohjelman todentamisen yhteydessä haamukoodi on osa ohjelmaa, joka lisätään määrittelyä varten. Haamukoodi ei saa häiritä tavallista koodia siinä mielessä, että se voidaan pyyhkiä ilman havaittavia eroja ohjelman tuloksessa.