Statistics
From Practical Software Verification
| Page statistics | |
|---|---|
| Content pages | 163 |
| Pages (All pages in the wiki, including talk pages, redirects, etc.) | 388 |
| Uploaded files | 167 |
| Edit statistics | |
| Page edits since Practical Software Verification was set up | 750 |
| Average edits per page | 1.93 |
| Job queue length | 0 |
| User statistics | |
| Registered users | 1,183 |
| Active users (Users who have performed an action in the last 7 days) | 37 |
| Bots (list of members) | 0 |
| Administrators (list of members) | 1 |
| Bureaucrats (list of members) | 1 |
| View statistics | |
| Views total | 125,939 |
| Views per edit | 167.92 | Most viewed pages |
| Main Page | 39,224 |
| Papers | 23,049 |
| Open source projects | 14,402 |
| Books | 4,193 |
| Tutorials and examples | 3,136 |
| Useful links | 3,013 |
| DynamoRIO based syscall result fuzzer | 2,805 |
| Talk:Main Page | 2,775 |
| STP command line interface | 2,611 |
| User projects | 2,261 |
