Aller au contenu

Explorer VeriTON.

Contenu de la page

TVRF-MC

Rendre les exécutions de simulation inspectables.

Rendre les exécutions de simulation inspectables.

TVRF-MC relie la simulation stochastique aux entrées déclarées, à la consommation d'aléa et aux preuves du calcul qui en résulte.

De nombreux chemins pâles courent entre deux sphères ; l'un d'eux, perlé de vert, est tracé en plein tandis que les autres restent pâles.
Illustration conceptuelle

Monte-Carlo

Une distribution montre les résultats sous un modèle et des hypothèses spécifiés.

Reproduction

Conserver les entrées, le code et le profil d'exécution compatible.

Explorer les tableaux de bord

Trois domaines distincts rendent concrète l'approche commune.

Explorez en détail.

Un chemin clair de l'idée jusqu'aux entrées, décisions et preuves qui la sous-tendent.

  1. Monte-CarloUne distribution montre les résultats sous un modèle et des hypothèses spécifiés.
  2. ReproductionConserver les entrées, le code et le profil d'exécution compatible.
  3. Explorer les tableaux de bordTrois domaines distincts rendent concrète l'approche commune.

Mettez l'idée en contexte.

Commencez par la question à laquelle il vous faut une réponse.

Démarrer une conversation