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 |
3_SVT7-9.pdf | 393 |
2_SVT4-6.pdf(legacy) | 374 |
3_SVT7-9.pdf(legacy) | 325 |
4_SVT References.pdf | 192 |
1_SVT0-3.pdf | 172 |
2_SVT4-6.pdf | 150 |
license.txt(legacy) | 2 |
Top country views
views | |
---|---|
United States | 308 |
European Union | 145 |
Canada | 134 |
France | 103 |
China | 76 |
Germany | 54 |
United Kingdom | 31 |
South Korea | 29 |
Ireland | 25 |
Japan | 24 |
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 | 34 |
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 |
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 |