Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
Signe eauvignette|Symbole eau. En astrologie, les signes d'eau sont trois (généralement) signes du zodiaque qui partagent le même élément, en l'occurrence l'EAU: le Cancer, le Scorpion et les Poissons. Cet élément ne correspond pas à une substance matérielle réelle ; c'est la représentation imagée d'un principe visible dans le tempérament. Ces trois signes forment un triangle sur le cercle des signes du zodiaque; on dit qu'ils forment un aspect de Trigone (120° d'écart l'un avec l'autre); cet écart est jugé harmonique en astrologie: les trois signes ont des facilités pour se comprendre.
Ordre ioniquethumb|300px|Chapiteau ionique de l'Érechthéion d'Athènes. L’ordre ionique (appelé également colonne ionique) se caractérise notamment par son chapiteau à volutes, par son fût orné de 24 cannelures et par sa base moulurée. Parfois, un groupe de cariatides prend la place de colonnes ioniques, les plis des vêtements évoquant les cannelures de ces colonnes. La plus célèbre de ces réalisations est sans conteste l'Érechthéion de l'Acropole d'Athènes.
Signe airvignette|Symbole air. En astrologie, les signes d'air sont trois signes du zodiaque qui partagent le même élément AIR et sont situés à 120° d'écart l'un par rapport à l'autre sur le cercle des signes : les Gémeaux, la Balance et le Verseau. Cet élément ne correspond pas à une substance matérielle réelle ; c'est la représentation imagée d'un principe visible dans le tempérament. L'élément air est un véhicule qui , laquelle fait défaut à l'élément Eau.
