Formal verification

Calidad:

El artículo “Formal verification” en Wikipedia en inglés tiene 35.6 puntos por calidad (a 1 de julio de 2025). El artículo contiene 25 referencias y 9 secciones.

En esta versión de idioma de Wikipedia el artículo tiene la mejor calidad. Además, este artículo es el más popular en esa versión de idioma (inglés).

Desde la creación del artículo “Formal verification”, , su contenido fue escrito por 170 usuarios registrados de Wikipedia en inglés fue editado por 367 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 307 veces en Wikipedia en inglés y es citado 810 veces en todos los idiomas.

La clasificación más alta de interés de los autores desde 2001:

• Local (inglés): Nº 14857 en abril de 2004
• Global: Nº 20043 en noviembre de 2003

El rango de popularidad más alto de 2008:

• Local (inglés): Nº 101579 en septiembre de 2014
• Global: Nº 149414 en septiembre de 2014

Hay 22 versiones lingüísticas de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).

La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de julio de 2025 (incluido el historial de revisiones y las páginas vistas de años anteriores).

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor calidad.

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

La siguiente tabla muestra las versiones de idiomas más populares del artículo.

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

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor popularidad en el último mes.

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

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores.

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

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores en el último mes.

#	Idioma	Premio del IA	IA relativo
1	francés (fr) Vérification formelle		1
2	árabe (ar) التحقق الشكلي		0
3	catalán (ca) Verificació formal		0
4	checo (cs) Formální verifikace		0
5	griego (el) Τυπική επαλήθευση		0
6	inglés (en) Formal verification		0
7	español (es) Verificación formal		0
8	vasco (eu) Egiaztapen formala (informatika)		0
9	persa (fa) درستی‌یابی صوری		0
10	hebreo (he) אימות תוכנה		0

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor número de citas.

El 26 de septiembre de 2025 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Claudia Cardinale, The Battle of Baktan Cross, ChatGPT, Alice in Borderland, Guinness, muertes en 2025, Benjamín Netanyahu, Assata Shakur, Charlie Kirk, Arthur Guinness.

En Wikipedia en inglés los artículos más populares de ese día fueron: Google Chrome, Assata Shakur, James Comey, Voddie Baucham, They Call Him OG, Wounded Knee Massacre, Deaths in 2025, Ryder Cup, House of Guinness, Snake Eyes (1998 film).

El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 44 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de julio de 2025. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de junio de 2025. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2025... Más información