Предварительно содержание:

• Альтернирующие автоматы (конечные и Бюхи) и их применения
• hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы