Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Copule (linguistique)En syntaxe de la phrase simple, une copule est un mot qui, dans la phrase, relie le sujet à son attribut. Dans des langues comme les langues indo-européennes, la copule est un verbe et l’attribut est un mot de nature nominale (nom, pronom, adjectif, numéral) ou employé avec une valeur nominale (verbe au participe ou à l’infinitif, adverbe). Avec celui-ci, le verbe copulatif à un mode personnel forme le prédicat de la phrase. À une forme nominale (un mode impersonnel), comme l’infinitif et le participe, le verbe copulatif forme avec l’attribut une construction nominale, ex.
