Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Référentiel galiléenEn physique, un référentiel galiléen (nommé ainsi en hommage à Galilée), ou inertiel, se définit comme un référentiel dans lequel le principe d'inertie (première loi de Newton) est vérifié, c'est-à-dire que tout corps ponctuel libre (i. e. sur lequel ne s’exerce aucune force ou sur lequel la résultante des forces est nulle) est en mouvement de translation rectiligne uniforme, ou au repos (qui est un cas particulier de mouvement rectiligne uniforme). Par suite, la vitesse du corps est constante (au cours du temps) en direction et en norme.
Pays en développementDans la typologie la plus courante, les pays en développement ou pays du Sud sont des pays moins développés économiquement que les pays développés (parfois appelés pays du Nord). L'expression « pays en développement » remplace des dénominations antérieures, jugées inadéquates, obsolètes ou incorrectes : les pays du tiers monde, les pays sous-développés. Elle s'est substituée à « pays en voie de développement ».
Dilatation du tempsLe terme dilatation du temps désigne un effet de la relativité restreinte selon lequel l'intervalle de temps entre deux événements mesurés dans un référentiel inertiel quelconque est toujours supérieur à l'intervalle de temps mesuré dans le référentiel inertiel (en mouvement relatif au premier) où ces deux événements ont la même position spatiale mais n'ont pas lieu au même moment. Étant donné que le temps est défini, dans la théorie de la relativité, par la donnée initiale d'une horloge pour chaque référentiel, on peut en déduire que pour un observateur une horloge en mouvement semble ralentie par rapport à une horloge immobile.
