Quali sono le differenze fra tecniche di verifica statiche e tecniche di verifica dinamiche?

- tecniche statiche, basate sull’analisi degli elementi sintattici del codice. Ad esempio: metodi formali, analisi del dataflow e modelli statistici; - tecniche dinamiche, basate sull’esecuzione del programma. Ad esempio: testing e debugging.