Vérification formelle

L'article "Vérification formelle" sur Wikipédia en français a 1.6 points pour la qualité (au 1 juillet 2025). L'article contient 0 références et 2 sections. L'article contient également un modèle de défauts de qualité, qui réduit le score de qualité.

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

En juin 2025 l'article "Vérification formelle" a été édité par 1 auteurs sur Wikipédia en français et écrit par 1 auteurs dans toutes les langues.

Depuis la création de l'article "Vérification formelle", son contenu a été rédigé par 26 utilisateurs enregistrés de Wikipédia en français et édité par 367 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 56 fois dans Wikipédia en français et cité 810 fois dans toutes les langues.

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

• Local (français): n° 11147 en mars 2009
• Mondial: n° 20043 en novembre 2003

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

• Local (français): n° 202407 en octobre 2009
• 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 "Vérification formelle" 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 "Vérification formelle" 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 "Vérification formelle" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de 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 "Vérification formelle" présentant le plus grand intérêt des auteurs en juin 2025

#	Langue	Prox de 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 "Vérification formelle" 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

français: n° 202407 10.2009

Mondial: n° 149414 09.2014

Meilleur rang

français: n° 11147 03.2009

Mondial: n° 20043 11.2003

Au 8 juillet 2025 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Diogo Jota, João Pedro, Ozzy Osbourne, Laura Siegemund, Aryna Sabalenka, Julian McMahon, Jurassic World : Renaissance, Coupe du monde des clubs de la FIFA 2025, Amanda Anisimova, F1.

Sur Wikipédia en français, les articles les plus populaires ce jour-là étaient: Olivier Marleix, João Pedro (football, 2001), Jacques Anquetil, Nicolas Lerner, Diogo Jota, Alain Marleix, Noyade interdite, Éric Denécé, L'Africain (film), Bernard Hinault.

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