Графики и схемы доказательства корректности программного обеспечения