The Libraries will be performing routine maintenance on UWSpace on October 20th, 2025, from 10:00-10:30 pm ET. UWSpace will be unavailable during this time. Service should resume by 10:30 pm ET.

Statistics for Improvements to Transitive-Closure-based Model Checking in Alloy

Total visits

views
Improvements to Transitive-Closure-based Model Checking in Alloy 61

Total visits per month

views
April 2025 0
May 2025 0
June 2025 2
July 2025 0
August 2025 1
September 2025 0
October 2025 0

File Visits

views
Farheen_Sabria.pdf 183

Top country views

views
United States 16
Ireland 11
Pakistan 7
Singapore 7
Russia 3
China 2
Hong Kong SAR China 2
Netherlands 2
Canada 1
Germany 1
France 1
Hungary 1
Indonesia 1
South Korea 1
Mexico 1
Portugal 1

Top city views

views
Dublin 11
Faisalabad 3
Singapore 3
Boardman 2
Coeur d'Alene 2
Hong Kong 2
Multan 2
Shanghai 2
Springfield 2
Taunsa 2
Utrecht 2
Ashburn 1
Budapest 1
Forest City 1
Guimarães 1
Jakarta 1
Montreal 1
Munich 1
Pittsburgh 1
Tlalpan 1