Sonuçlar, denetçilerin bulgularına dayalı olarak program hakkında mantıksal çıkarımlardır ve bunların özetini temsil etmek yerine bulgulardan akmalıdır.
Sonuçlar, denetçilerin bulgularına dayanarak program hakkında mantıksal çıkarımlardır.
Programın mantıksal çıkarımları denetçilerin bulgularını göz ardı eder.