Formal verification

品質:

英語維基百科的「Formal verification」文章品質得分為 35.6 分（截至2025年7月1日）. 本文包含 25 篇參考文獻和 9 個章節。

在該語言版本的維基百科中，該文章具有最佳的品質。此外，這篇文章是該語言版本（英語）中最受歡迎的。

自「Formal verification」文章創建以來，其內容由 170 名英語維基百科註冊用戶撰寫，並由 367 名所有語言的註冊維基百科用戶編輯。

該文章在英語維基百科中被引用 307 次，在所有語言中被引用 810 次。

2001 年以來作者的最高興趣排名：

• 當地的（英語）：2004 年 4 月14857號
• 全球的：2003 年 11 月20043號

2008年以來的最高人氣排名：

• 當地的（英語）：2014 年 9 月101579號
• 全球的：2014 年 9 月149414號

WikiRank 資料庫中本文有 22 種語言版本（所考慮的 55 個維基百科語言版本）。

品質和受歡迎程度評估是基於 2025年7月1日的維基百科轉儲（包括前幾年的修訂歷史和頁面瀏覽量）。

下表顯示了最高品質的文章的語言版本。

#	语言	质量等级	质量分数
1	英語 (en) Formal verification		35.6348
2	塞爾維亞語 (sr) Формална верификација		26.6112
3	巴斯克語 (eu) Egiaztapen formala (informatika)		25.7161
4	加泰羅尼亞語 (ca) Verificació formal		25.5206
5	阿拉伯語 (ar) التحقق الشكلي		21.4916
6	瑞典語 (sv) Formell verifiering		21.0375
7	希臘語 (el) Τυπική επαλήθευση		16.1568
8	烏克蘭語 (uk) Формальна верифікація		16.1112
9	韓語 (ko) 형식 검증		14.255
10	意大利語 (it) Verifica formale		13.8988

下表顯示了本文最受歡迎的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Formal verification		1 181 361
2	俄語 (ru) Формальная верификация		132 524
3	日語 (ja) 形式的検証		78 386
4	中文 (zh) 形式验证		62 390
5	西班牙語 (es) Verificación formal		40 686
6	法語 (fr) Vérification formelle		35 660
7	希伯來語 (he) אימות תוכנה		22 968
8	葡萄牙語 (pt) Verificação formal		16 299
9	波蘭語 (pl) Weryfikacja formalna		16 108
10	烏克蘭語 (uk) Формальна верифікація		12 996

下表顯示了上個月最受歡迎的文章的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Formal verification		6 169
2	中文 (zh) 形式验证		312
3	俄語 (ru) Формальная верификация		270
4	日語 (ja) 形式的検証		209
5	法語 (fr) Vérification formelle		123
6	西班牙語 (es) Verificación formal		66
7	希伯來語 (he) אימות תוכנה		52
8	簡體英語 (simple) Formal verification		40
9	韓語 (ko) 형식 검증		34
10	葡萄牙語 (pt) Verificação formal		28

下表顯示了作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Formal verification		170
2	俄語 (ru) Формальная верификация		28
3	法語 (fr) Vérification formelle		26
4	希伯來語 (he) אימות תוכנה		23
5	中文 (zh) 形式验证		19
6	西班牙語 (es) Verificación formal		15
7	日語 (ja) 形式的検証		12
8	烏克蘭語 (uk) Формальна верифікація		12
9	波蘭語 (pl) Weryfikacja formalna		10
10	土耳其語 (tr) Program doğrulama		9

下表顯示了上個月作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	法語 (fr) Vérification formelle		1
2	阿拉伯語 (ar) التحقق الشكلي		0
3	加泰羅尼亞語 (ca) Verificació formal		0
4	捷克語 (cs) Formální verifikace		0
5	希臘語 (el) Τυπική επαλήθευση		0
6	英語 (en) Formal verification		0
7	西班牙語 (es) Verificación formal		0
8	巴斯克語 (eu) Egiaztapen formala (informatika)		0
9	波斯語 (fa) درستی‌یابی صوری		0
10	希伯來語 (he) אימות תוכנה		0

下表顯示了被引用次數最高的文章的語言版本。

2025年9月26日，在多語言維基百科中，網路使用者最常閱讀以下主題的文章：克劳迪娅·卡尔迪纳莱、一戰再戰、ChatGPT、今際之國的闖關者、健力士、2025年逝世人物列表、本雅明·内塔尼亚胡、弗莱德·希尔顿、查理·柯克、Arthur Guinness。

英語維基百科當天最受歡迎的文章是：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).

該計畫旨在對維基百科各種語言版本的文章進行自動相對評估。 目前，該服務允許比較 55 種語言的超過 4,400 萬篇維基百科文章。 文章的品質分數是根據 2025年7月的維基百科轉儲。 在計算作者當前的受歡迎程度和興趣時，考慮了 2025年6月的數據。 對於作者受歡迎程度和興趣的歷史價值，WikiRank 使用了 2001 年至 2025 年的數據。 更多資訊