Ja, durch Schreiben ASM Quellcoden entsprechend geprüften Ablaufdiagrammen.