This page shows usage statistics for the item: Assurance of agent systems: What role should formal verification play?

Click on a number to switch between file downloads and item page views or to view usage statistics for a different date range.

Currently showing: File downloads; All dates

File downloadsItem page views
Current month339
Previous month026
All dates480633
Custom date range
to
    Maximum number of items/collections/authors etc. shown:
  • 2
  • 5
  • 10
  • 20
  • 50
  • 100

Top visitors' geographic locations

Click on a country's usage number to view usage statistics for visits from that country.

Currently showing: File downloads; All dates

Top country views

File downloads
United States177
China74
Germany28
United Kingdom28
Russia16
New Zealand15
France10
Brazil9
Pakistan9
Australia8
Algeria7
Netherlands7
Italy6
Japan5
Finland4
India4
Poland4
Portugal4
Romania4
Ireland3
Iran3
Malaysia3
Ukraine3
Austria2
Bulgaria2
Czech Republic2
Egypt2
Spain2
Sweden2
Uganda2
South Africa2
Chile1
Denmark1
Georgia1
Greece1
Guatemala1
Hungary1
Israel1
Kazakhstan1
Luxembourg1
Libya1
Macao1
Mexico1
Singapore1
Turkey1
Vietnam1

Top cities views

File downloads
Minneapolis33
Beijing30
Fuzhou26
Ashburn21
Fairfield10
Saint Petersburg10
Dunedin7
Cambridge6
Mountain View6
Wilmington6
Biskra5
Buffalo5
Columbus5
Islamabad5
University Park5
Woodbridge5
Birmingham4
Porto4
Saint Paul4
Sunnyvale4
Auckland3
Chicago3
Denver3
Houston3
Las Vegas3
Madison3
Milton Keynes3
Shenzhen3
Klagenfurt2
Melbourne2
Menlo Park2
Nanjing2
Pars2
Rosemount2
Shanghai2
Stoke-on-trent2
York2
Aarhus1
Ahmedabad1
Anaheim1
Ann Arbor1
Atlanta1
Bernay1
Berwick1
Bhubaneswar1
Bologna1
Cairo1
Cary1
Changsha1
Chen1
Corvallis1
Dallas1
Dognen1
Edenvale1
Ephrata1
Erlangen1
Fort Madison1
Freiburg1
Germantown1
Guangzhou1
Hangzhou1
Hanoi1
Herndon1
Iasi1
Igra1
Indiana1
Invercargill1
Jinan1
Karabük1
Kassel1
Kensington1
Khimki1
Kiel1
Kildare1
Liverpool1
Lod1
London1
Los Angeles1
Lubbock1
Lynnwood1
Mexico1
Muizenberg1
New Delhi1
Newbury1
Nürnberg1
Oakland1
Paris1
Phoenix1
Pilot Mountain1
Redwood City1
Rio Grande1
Saarbrücken1
Saint Louis1
Seattle1
Shakopee1
Singapore1
Southampton1
Sydney1
Tehran1
Timaru1