Linear Temporal Logic

🍬 От конфет до авиабезопасности: как Стэндфорд учит формальной логике критических систем

🧩 Профессор Кришнамуртхи о формальных методах: почему математически идеальные модели вредят пользователям?