Statistics for Software Verification Tools

Total visits

views
Software Verification Tools 785

Total visits per month

views
June 2024 0
July 2024 0
August 2024 0
September 2024 0
October 2024 0
November 2024 0
December 2024 0

File Visits

views
4_SVT References.pdf(legacy) 483
1_SVT0-3.pdf(legacy) 404
2_SVT4-6.pdf(legacy) 374
3_SVT7-9.pdf 327
3_SVT7-9.pdf(legacy) 325
1_SVT0-3.pdf 127
4_SVT References.pdf 93
2_SVT4-6.pdf 75
license.txt(legacy) 2

Top country views

views
United States 308
European Union 145
Canada 136
France 103
China 76
Germany 54
United Kingdom 31
South Korea 29
Ireland 25
Finland 20
Vietnam 14
India 12
Sweden 9
Russia 5
Nigeria 4
Italy 3
Poland 3
Romania 3
Singapore 3
Belgium 2
Malawi 2
Mexico 2
Malaysia 2
Netherlands 2
Uzbekistan 2
Venezuela 2
Austria 1
Australia 1
Greece 1
Hong Kong SAR China 1
Honduras 1
Indonesia 1
Pakistan 1
Qatar 1
Slovenia 1
Tajikistan 1
Taiwan 1
South Africa 1

Top city views

views
Reims 66
Sunnyvale 45
North Bergen 36
Beijing 34
Toronto 33
Seoul 29
Ashburn 27
Dublin 25
Redwood City 21
Santa Clara 20
Southend 17
Ann Arbor 16
Mountain View 16
Hanoi 14
South El Monte 13
Jacksonville 11
Houston 10
Laveen 8
Boardman 7
Woodbridge 7
Philadelphia 6
Akron 5
New Delhi 5
Nyköping 5
Montreal 3
Singapore 3
Tokyo 3
Washington 3
Cupertino 2
Distrito Federal 2
Fairfield 2
Frankfurt am Main 2
Fremont 2
Jacob-Bellecombette 2
Kiez 2
Kraków 2
Kuala Lumpur 2
Lilongwe 2
London 2
Matawan 2
Milton Keynes 2
Munich 2
North Bay 2
Redmond 2
San Francisco 2
Scarborough 2
Seattle 2
Shenzhen 2
Adelaide 1
Athens 1
Braunschweig 1
Bucharest 1
Cambridge 1
Canyon Country 1
Caracas 1
Chicago 1
Ciply 1
Columbus 1
Delhi 1
Doha 1
Dronten 1
Edingen 1
Gaithersburg 1
Genova 1
Ghent 1
Hangzhou 1
Hyères 1
Iasi 1
Indianapolis 1
Khorugh 1
Kurnool 1
Kwai Chung 1
Lahore 1
Latur 1
Littleton 1
Ljubljana 1
Los Angeles 1
Ludwigsburg 1
Lévis 1
Mcallen 1
Miami 1
Mumbai 1
Murmansk 1
Nuremberg 1
Perm 1
Pune 1
Ranchi 1
Richmond Hill 1
Saint-quentin 1
Sayreville 1
Schoenenberg-Kuebelberg 1
Southall 1
Swansea 1
Tashkent 1
Tianjin 1
Timișoara 1
Vaughan 1
Warsaw 1
Wilmington 1
Östersund 1