Een programma waarmee gecontroleerd kan worden of een ontwerp voldoet aan de specificaties en of het consistent is over de hele lijn.Een programma waarmee gecontroleerd kan worden of een ontwerp voldoet aan de specificaties en of het consistent is over de hele lijn.