Формальный анализ: Фотографии и схемы методов