Formal verification

O artigo "Formal verification" na Wikipédia em inglês simples tem 0.3 pontos para qualidade (em 1º de julho de 2025).

Este artigo tem a melhor qualidade na Wikipédia em inglês. Além disso, este artigo é o mais popular nessa versão nesse idioma.

Desde a criação do artigo "Formal verification", seu conteúdo foi escrito por 1 usuários cadastrados na Wikipédia em inglês simples e editado por 367 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 5 vezes na Wikipédia em inglês simples e citado 810 vezes em todos os idiomas.

A classificação mais alta de interesse dos autores em 2001:

• Local (inglês simples): Nº 5924 em julho de 2019
• Global: Nº 20043 em novembro de 2003

A classificação de popularidade mais alta de 2008:

• Local (inglês simples): Nº 29696 em julho de 2019
• Global: Nº 149414 em setembro de 2014

Existem versões deste artigo em 22 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de julho de 2025 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

#	Idioma	Grau de qualidade	Pontuação de qualidade
1	inglês (en) Formal verification		35.6348
2	sérvio (sr) Формална верификација		26.6112
3	basco (eu) Egiaztapen formala (informatika)		25.7161
4	catalão (ca) Verificació formal		25.5206
5	árabe (ar) التحقق الشكلي		21.4916
6	sueco (sv) Formell verifiering		21.0375
7	grego (el) Τυπική επαλήθευση		16.1568
8	ucraniano (uk) Формальна верифікація		16.1112
9	coreano (ko) 형식 검증		14.255
10	italiano (it) Verifica formale		13.8988

Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

As versões linguísticas mais populares do artigo "Formal verification" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Formal verification		1 181 361
2	russo (ru) Формальная верификация		132 524
3	japonês (ja) 形式的検証		78 386
4	chinês (zh) 形式验证		62 390
5	espanhol (es) Verificación formal		40 686
6	francês (fr) Vérification formelle		35 660
7	hebraico (he) אימות תוכנה		22 968
8	português (pt) Verificação formal		16 299
9	polonês (pl) Weryfikacja formalna		16 108
10	ucraniano (uk) Формальна верифікація		12 996

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

As versões linguísticas mais populares do artigo "Formal verification" em junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Formal verification		6 169
2	chinês (zh) 形式验证		312
3	russo (ru) Формальная верификация		270
4	japonês (ja) 形式的検証		209
5	francês (fr) Vérification formelle		123
6	espanhol (es) Verificación formal		66
7	hebraico (he) אימות תוכנה		52
8	inglês simples (simple) Formal verification		40
9	coreano (ko) 형식 검증		34
10	português (pt) Verificação formal		28

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

Versões linguísticas do artigo "Formal verification" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Formal verification		170
2	russo (ru) Формальная верификация		28
3	francês (fr) Vérification formelle		26
4	hebraico (he) אימות תוכנה		23
5	chinês (zh) 形式验证		19
6	espanhol (es) Verificación formal		15
7	japonês (ja) 形式的検証		12
8	ucraniano (uk) Формальна верифікація		12
9	polonês (pl) Weryfikacja formalna		10
10	turco (tr) Program doğrulama		9

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

Versões linguísticas do artigo "Formal verification" com a IA mais alta em junho de 2025

#	Idioma	Prêmio de IA	IA relativa
1	francês (fr) Vérification formelle		1
2	árabe (ar) التحقق الشكلي		0
3	catalão (ca) Verificació formal		0
4	tcheco (cs) Formální verifikace		0
5	grego (el) Τυπική επαλήθευση		0
6	inglês (en) Formal verification		0
7	espanhol (es) Verificación formal		0
8	basco (eu) Egiaztapen formala (informatika)		0
9	persa (fa) درستی‌یابی صوری		0
10	hebraico (he) אימות תוכנה		0

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

Versões linguísticas do artigo "Formal verification" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Formal verification		307
2	russo (ru) Формальная верификация		66
3	hebraico (he) אימות תוכנה		58
4	francês (fr) Vérification formelle		56
5	japonês (ja) 形式的検証		49
6	ucraniano (uk) Формальна верифікація		45
7	chinês (zh) 形式验证		37
8	português (pt) Verificação formal		35
9	espanhol (es) Verificación formal		28
10	persa (fa) درستی‌یابی صوری		20

Mais...

#	Idioma	Valor
ar	árabe التحقق الشكلي
ca	catalão Verificació formal
cs	tcheco Formální verifikace
el	grego Τυπική επαλήθευση
en	inglês Formal verification
es	espanhol Verificación formal
eu	basco Egiaztapen formala (informatika)
fa	persa درستی‌یابی صوری
fr	francês Vérification formelle
he	hebraico אימות תוכנה
it	italiano Verifica formale
ja	japonês 形式的検証
ko	coreano 형식 검증
pl	polonês Weryfikacja formalna
pt	português Verificação formal
ru	russo Формальная верификация
simple	inglês simples Formal verification
sr	sérvio Формална верификација
sv	sueco Formell verifiering
tr	turco Program doğrulama
uk	ucraniano Формальна верифікація
zh	chinês 形式验证

Melhor Posição

inglês simples: Nº 29696 07.2019

Global: Nº 149414 09.2014

Melhor Posição

inglês simples: Nº 5924 07.2019

Global: Nº 20043 11.2003

Em 12 de agosto de 2025, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, mortes em 2025, Taylor Swift, Miguel Uribe, Liga dos Campeões da UEFA de 2025–26.

Na Wikipédia em inglês simples, os artigos mais populares naquele dia foram: Free Republic of Verdis, SOLID (object-oriented design), Wikimedia Foundation, Black, XXXTentacion, List of U.S. states and territories by time zone, Youmna Khoury, List of U.S. states, List of European countries, List of people who have walked on the Moon.

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de julho de 2025. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de junho de 2025. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2025... Mais Informações