Ettekandes tuleb juttu programmianalüüsi rakendusvõimalustest tööstusliku Forth-koodi kvaliteedikontrolliks. Probleem on tekkinud reaalajasüsteemide tarkvara tootvas Lõuna-Aafrika firmas, kus on miljonite ridade kaupa Forth-koodi, mida oleks tarvis valideerida magasini kasutamise seisukohalt. Praeguseks on ettekandjal olemas metoodika ja analüsaatori põhituumas vajalike operatsioonide realisatsioon Javas. Kasutajapoolsete nõuete dokument analüüsile on olemas Inglise firmalt, kes paraku pole oma jõududega suutnud nendele nõuetele vastavat analüsaatorit kirjutada. Puudu on "kõigest" tegijad, keda ongi kavas palgata Lõuna-Aafrikast. Tutvustatakse analüüsi aluseks olevat teooriat ning huvi olemasolul ka programmi.