Formalmente verificado

Movimiento tactico a la velocidad del pensamiento

Tactix existe porque todo entrenador ha visto algo en su cabeza que no podía sacar con palabras. Dibuja una carrera. Mírala moverse con precisión matemática. Sin fotogramas clave. Sin aproximaciones. Solo lo que viste, exactamente como lo viste.

El equipo viene de las academias de New York Red Bulls y Cedar Stars, de la programación nacional de U.S. Soccer, y de la investigación en métodos formales en Boston University — una colaboración entre Questrom School of Business y Computing & Data Sciences. Construimos la herramienta que deseábamos tener cuando estábamos en el campo.

Trayectoria

Nuestro equipo aporta experiencia de los sistemas de academias de New York Red Bulls y Cedar Stars, programas nacionales de USSDA e investigacion en metodos formales en Boston University. Una colaboracion interdisciplinaria entre Questrom School of Business y Computing & Data Sciences.

New York Red Bulls
New York Red Bulls
Cedar Stars
Cedar Stars
Academia de Desarrollo de U.S. Soccer
Academia de Desarrollo de U.S. Soccer
Investigacion e Ingenieria
Escuela de Negocios Questrom
Escuela de Negocios Questrom
Ciencias de la Computación y Datos de BU
Ciencias de la Computación y Datos de BU

Ingenieria

Cada movimiento de jugador está matemáticamente demostrado antes de llegar a la pantalla. No probado — demostrado. El mismo estándar de verificación utilizado en sistemas de seguridad crítica. Cada posición, cada ruta, cada transición: formalmente verificada.

C⁰

Continuidad de movimiento

60+

Cuadros por segundo

0

Teoremas sin demostrar

Desde una noche lluviosa en Stoke hasta la final del Mundial, el juego exige precision. Tactix esta construido para estar a la altura.