Формально верифицировано

Тактическое движение со скоростью мысли

Tactix существует потому, что каждый тренер видел что-то у себя в голове, что не мог передать словами. Нарисуй рывок. Смотри, как он движется с математической точностью. Никаких ключевых кадров. Никаких приближений. Только то, что ты видел, именно так, как ты это видел.

Команда пришла из академий New York Red Bulls и Cedar Stars, национальных программ U.S. Soccer и исследований формальных методов в Бостонском университете — сотрудничество между Questrom School of Business и Computing & Data Sciences. Мы создали инструмент, который хотели бы иметь сами, когда были на поле.

Опыт

Наша команда привносит опыт из систем академий New York Red Bulls и Cedar Stars, национального программирования USSDA и исследований формальных методов в Бостонском университете. Междисциплинарное сотрудничество между Questrom School of Business и Computing & Data Sciences.

New York Red Bulls
New York Red Bulls
Cedar Stars
Cedar Stars
U.S. Soccer Development Academy
U.S. Soccer Development Academy
Исследования и разработка
Questrom School of Business
Questrom School of Business
BU Computing & Data Sciences
BU Computing & Data Sciences

Разработка

Каждое движение игрока математически доказано до того, как попадает на экран. Не протестировано — доказано. Тот же стандарт верификации, что используется в системах с жёсткими требованиями к надёжности. Каждая позиция, каждая траектория, каждый переход: формально верифицированы.

C⁰

Непрерывность движения

60+

Кадров в секунду

0

Недоказанных теорем

От дождливой ночи в Сток до финала чемпионата мира, игра требует точности. Tactix создан, чтобы соответствовать ей.