Research RepositorySaint Petersburg State University
Statistics
Total Visits
| Views | |
|---|---|
| Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | 27 |
Total Visits per Month
| March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | |
|---|---|---|---|---|---|---|---|
| Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | 2 | 0 | 5 | 4 | 5 | 1 | 2 |
File Downloads
| Views | |
|---|---|
| st075702.pdf | 27 |
| reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Grigoreva_S.A..pdf | 13 |
| reviewSV_st075702_Grigorev_Savelij_Alekseevic_(supervisor)(Ru).txt | 3 |
Top Country Views
| Views | |
|---|---|
| Russia | 12 |
| United States | 8 |
| Australia | 4 |
| Belarus | 1 |
| China | 1 |
Top City Views
| Views | |
|---|---|
| St Petersburg | 7 |
| Abakan | 1 |
| Minsk | 1 |
| Moscow | 1 |
| Nizhniy Novgorod | 1 |