---
title: "Typage effectif" 
weight: 30
---

# Typage effectif

Si on se contentait des spécifications idéales, on ne pourrait pas raisonner
du tout puisqu'il faudrait souvent passer une infinité de tests.

L'idée est donc de se contenter d'un ensemble fini mais suffisant afin de
garantir un certain comportement. Une telle spécification est nécessairement
partielle. Le critère d'orthogonalité doit aussi être calculable et tractable
afin de garantir une vérification effective.

