Как стать автором
  • по релевантности
  • по времени
  • по рейтингу

How to Catch a Cat with TLA+

Блог компании Waves Программирование *Анализ и проектирование систем *Математика *Логические игры
Many programmers struggle when using formal methods to solve problems within their programs, as those methods, while effective, can be unreasonably complex. To understand why this happens, let’s use the model checking method to solve a relatively easy puzzle:


You’re in a hallway with seven doors on one side leading to seven rooms. A cat is hiding in one of these rooms. Your task is to catch the cat. Opening a door takes one step. If you guess the correct door, you catch the cat. If you do not guess the correct door, the cat runs to the next room.
Read more →
Всего голосов 9: ↑9 и ↓0 +9
Просмотры 1.3K
Комментарии 0