Formal verification

L'article « Formal verification » sur Wikipédia en anglais simple a 0.3 points pour la qualité (au 1 juillet 2025).

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique (anglais simple).

Depuis la création de l'article « Formal verification », son contenu a été rédigé par 1 utilisateurs enregistrés de Wikipédia en anglais simple et édité par 367 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 5 fois dans Wikipédia en anglais simple et cité 810 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais simple): n° 5924 en juillet 2019
• Mondial: n° 20043 en novembre 2003

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais simple): n° 29696 en juillet 2019
• Mondial: n° 149414 en septembre 2014

Il existe 22 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 juillet 2025 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Formal verification		35.6348
2	serbe (sr) Формална верификација		26.6112
3	basque (eu) Egiaztapen formala (informatika)		25.7161
4	catalan (ca) Verificació formal		25.5206
5	arabe (ar) التحقق الشكلي		21.4916
6	suédois (sv) Formell verifiering		21.0375
7	grec (el) Τυπική επαλήθευση		16.1568
8	ukrainien (uk) Формальна верифікація		16.1112
9	coréen (ko) 형식 검증		14.255
10	italien (it) Verifica formale		13.8988

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Formal verification" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal verification		1 181 361
2	russe (ru) Формальная верификация		132 524
3	japonais (ja) 形式的検証		78 386
4	chinois (zh) 形式验证		62 390
5	espagnol (es) Verificación formal		40 686
6	français (fr) Vérification formelle		35 660
7	hébreu (he) אימות תוכנה		22 968
8	portugais (pt) Verificação formal		16 299
9	polonais (pl) Weryfikacja formalna		16 108
10	ukrainien (uk) Формальна верифікація		12 996

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Formal verification" en juin 2025

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal verification		6 169
2	chinois (zh) 形式验证		312
3	russe (ru) Формальная верификация		270
4	japonais (ja) 形式的検証		209
5	français (fr) Vérification formelle		123
6	espagnol (es) Verificación formal		66
7	hébreu (he) אימות תוכנה		52
8	anglais simple (simple) Formal verification		40
9	coréen (ko) 형식 검증		34
10	portugais (pt) Verificação formal		28

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Formal verification" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prix de l'IA	IA relatif
1	anglais (en) Formal verification		170
2	russe (ru) Формальная верификация		28
3	français (fr) Vérification formelle		26
4	hébreu (he) אימות תוכנה		23
5	chinois (zh) 形式验证		19
6	espagnol (es) Verificación formal		15
7	japonais (ja) 形式的検証		12
8	ukrainien (uk) Формальна верифікація		12
9	polonais (pl) Weryfikacja formalna		10
10	turc (tr) Program doğrulama		9

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Formal verification" présentant le plus grand intérêt des auteurs en juin 2025

#	Langue	Prix de l'IA	IA relatif
1	français (fr) Vérification formelle		1
2	arabe (ar) التحقق الشكلي		0
3	catalan (ca) Verificació formal		0
4	tchèque (cs) Formální verifikace		0
5	grec (el) Τυπική επαλήθευση		0
6	anglais (en) Formal verification		0
7	espagnol (es) Verificación formal		0
8	basque (eu) Egiaztapen formala (informatika)		0
9	persan (fa) درستی‌یابی صوری		0
10	hébreu (he) אימות תוכנה		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Formal verification" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Formal verification		307
2	russe (ru) Формальная верификация		66
3	hébreu (he) אימות תוכנה		58
4	français (fr) Vérification formelle		56
5	japonais (ja) 形式的検証		49
6	ukrainien (uk) Формальна верифікація		45
7	chinois (zh) 形式验证		37
8	portugais (pt) Verificação formal		35
9	espagnol (es) Verificación formal		28
10	persan (fa) درستی‌یابی صوری		20

Plus...

#	Langue	Valeur
ar	arabe التحقق الشكلي
ca	catalan Verificació formal
cs	tchèque Formální verifikace
el	grec Τυπική επαλήθευση
en	anglais Formal verification
es	espagnol Verificación formal
eu	basque Egiaztapen formala (informatika)
fa	persan درستی‌یابی صوری
fr	français Vérification formelle
he	hébreu אימות תוכנה
it	italien Verifica formale
ja	japonais 形式的検証
ko	coréen 형식 검증
pl	polonais Weryfikacja formalna
pt	portugais Verificação formal
ru	russe Формальная верификация
simple	anglais simple Formal verification
sr	serbe Формална верификација
sv	suédois Formell verifiering
tr	turc Program doğrulama
uk	ukrainien Формальна верифікація
zh	chinois 形式验证

Meilleur rang

anglais simple: n° 29696 07.2019

Mondial: n° 149414 09.2014

Meilleur rang

anglais simple: n° 5924 07.2019

Mondial: n° 20043 11.2003

Au 16 mars 2026 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: 98e cérémonie des Oscars, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Une bataille après l'autre, Amy Madigan, Hamnet, Timothée Chalamet.

Sur Wikipédia en anglais simple, les articles les plus populaires ce jour-là étaient: Black, Alba Baptista, List of European countries, XXXTentacion, Golden Edge, SOLID (object-oriented design), Strait of Hormuz, Megan Skiendiel, Manon Bannerman, Chris Evans.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de juillet 2025. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juin 2025 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2025... Plus d'information