생각의 속도로 전술을 움직이다

Tactix는 모든 코치가 머릿속으로 보이지만 입으로 설명할 수 없었던 무언가를 경험해왔기에 존재합니다. 달리기 경로를 그리세요. 수학적 정밀도로 움직이세요. 키프레임 없이. 근사치 없이. 보이는 그대로 정확하게 재현합니다.

팀은 New York Red Bulls와 Cedar Stars 아카데미, U.S. Soccer 국가 프로그램, 그리고 Boston University의 형식적 방법 연구 출신입니다——Questrom School of Business와 Computing & Data Sciences의 학제간 협업. 피치에 있을 때 원했던 도구를 만들었습니다.

배경

우리 팀은 뉴욕 레드불스와 Cedar Stars 아카데미 시스템, USSDA 국가 프로그램, 보스턴 대학교 형식적 방법 연구 경험을 보유하고 있습니다. Questrom School of Business와 Computing & Data Sciences의 학제간 협업입니다.

뉴욕 레드불스

Cedar Stars

U.S. Soccer Development Academy

Questrom School of Business

BU Computing & Data Sciences

엔지니어링

모든 선수 움직임은 화면에 도달하기 전에 수학적으로 증명됩니다. 테스트가 아니라——증명. 안전 필수 시스템에 사용되는 것과 동일한 검증 기준. 모든 위치, 모든 경로, 모든 전환: 형식적으로 검증됨.