Ir al contenido

Explora VeriTON.

Contenido de la página

TVRF-MC

Haga inspeccionables las ejecuciones de simulación.

Haga inspeccionables las ejecuciones de simulación.

TVRF-MC conecta la simulación estocástica con las entradas declaradas, el consumo de aleatoriedad y la evidencia del cálculo resultante.

Muchos caminos tenues discurren entre dos esferas; uno de ellos, jalonado de verde, aparece trazado con nitidez mientras el resto permanece pálido.
Ilustración conceptual

Monte Carlo

Una distribución muestra los resultados bajo un modelo y unos supuestos especificados.

Reproducción

Conserve las entradas, el código y el perfil de ejecución compatible.

Explorar paneles

Tres dominios distintos concretan el enfoque común.

Explore en detalle.

Un camino claro desde la idea hasta las entradas, las decisiones y la evidencia que hay detrás de ella.

  1. Monte CarloUna distribución muestra los resultados bajo un modelo y unos supuestos especificados.
  2. ReproducciónConserve las entradas, el código y el perfil de ejecución compatible.
  3. Explorar panelesTres dominios distintos concretan el enfoque común.

Ponga la idea en contexto.

Empiece por la pregunta que necesita responder.

Iniciar una conversación