Statistics for Finding False Assurance in Formal Verification of Software Systems
Total visits
| views | |
|---|---|
| Finding False Assurance in Formal Verification of Software Systems | 315 |
Total visits per month
| views | |
|---|---|
| April 2025 | 0 |
| May 2025 | 0 |
| June 2025 | 0 |
| July 2025 | 7 |
| August 2025 | 4 |
| September 2025 | 0 |
| October 2025 | 3 |
File Visits
| views | |
|---|---|
| Ji_Ru.pdf | 663 |
| null | 3 |
Top country views
| views | |
|---|---|
| United States | 82 |
| Canada | 72 |
| China | 17 |
| United Kingdom | 16 |
| Belgium | 9 |
| Hong Kong SAR China | 8 |
| Singapore | 7 |
| Japan | 5 |
| India | 4 |
| Taiwan | 4 |
| Vietnam | 4 |
| Brazil | 3 |
| Switzerland | 3 |
| Germany | 3 |
| South Korea | 3 |
| Netherlands | 3 |
| Russia | 3 |
| Sweden | 3 |
| Australia | 2 |
| Bulgaria | 2 |
| Serbia | 2 |
| Austria | 1 |
| Denmark | 1 |
| Egypt | 1 |
| Spain | 1 |
| France | 1 |
| Indonesia | 1 |
| Malaysia | 1 |
| Nigeria | 1 |
| Philippines | 1 |
| Thailand | 1 |
Top city views
| views | |
|---|---|
| Waterloo | 48 |
| Manchester | 12 |
| Yangzhou | 12 |
| Boardman | 11 |
| Brussels | 9 |
| Kitchener | 8 |
| Prineville | 8 |
| Ashburn | 7 |
| Springfield | 6 |
| Hong Kong | 5 |
| Ottawa | 5 |
| Tokyo | 5 |
| Toronto | 5 |
| Clemson | 4 |
| Hanoi | 4 |
| Sandston | 4 |
| Ahmedabad | 3 |
| Boa Vista | 2 |
| Brisbane | 2 |
| Columbus | 2 |
| Fort Worth | 2 |
| Guangzhou | 2 |
| Hefei | 2 |
| Niš | 2 |
| Singapore | 2 |
| Slough | 2 |
| Sofia | 2 |
| Taipei | 2 |
| Zurich | 2 |
| Amsterdam | 1 |
| Atlanta | 1 |
| Bangkok | 1 |
| Berkeley | 1 |
| Charlotte | 1 |
| Davao City | 1 |
| Delhi | 1 |
| Falkenstein | 1 |
| Forest City | 1 |
| Frederiksberg | 1 |
| Giza | 1 |
| Hamm | 1 |
| Jakarta | 1 |
| Kuala Lumpur | 1 |
| Lagos | 1 |
| Lausanne | 1 |
| London | 1 |
| Madrid | 1 |
| Nepean | 1 |
| New York | 1 |
| Philadelphia | 1 |
| Pointe-Claire | 1 |
| Québec | 1 |
| Reston | 1 |
| Royal Leamington Spa | 1 |
| Saskatoon | 1 |
| Seoul | 1 |
| São Paulo | 1 |
| Taichung | 1 |
| Vienna | 1 |
| Windsor | 1 |
| Winston-Salem | 1 |
| Wuxi | 1 |
| Zhubei | 1 |