Statistics for Software Verification Tools
Total visits
| views | |
|---|---|
| Software Verification Tools | 785 |
Total visits per month
| views | |
|---|---|
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
File Visits
| views | |
|---|---|
| 4_SVT References.pdf(legacy) | 483 |
| 1_SVT0-3.pdf(legacy) | 404 |
| 3_SVT7-9.pdf | 404 |
| 2_SVT4-6.pdf(legacy) | 374 |
| 3_SVT7-9.pdf(legacy) | 325 |
| 4_SVT References.pdf | 201 |
| 1_SVT0-3.pdf | 174 |
| 2_SVT4-6.pdf | 153 |
| 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 |