News
Beta Version
Times 1.3 Beta now available online! Download here.
Times User Group
Has been created on YahooGroups!
Register now!
Tool Paper
Presented at TACAS'02, received ETAPS'02 Best Tool Demo Award.
Available here.
Background Paper
Presented at TACAS'02.
Available here.
Last update:
Thursday, 06 Nov 2008, 10:26:39
Optimized for: Mozilla/5.0 MSIE/6.0+
Download
Use an appropriate link to download Times 1.3 beta (build 2461) installer for your platform. If you do not have Java virtual machine installed on your system, please download it and install first.

PlatformWithout JVMInstructions
Windows (32-bit JRE) Download (2.6M) View
Windows (64-bit JRE) Download (2.6M) View
Linux Download (4.0M) View
Solaris Download (4.0M) View


Windows Instructions
After downloading, double-click timestool-1.3b.exe.
Linux Instructions
After downloading open a shell and cd to the directory where you downloaded the installer. At prompt type:
bash$> gunzip timestool-1.3b.bin.gz
bash$> sh ./timestool-1.3b.bin
Solaris Instructions
After downloading open a shell and cd to the directory where you downloaded the installer. At prompt type:
bash$> gunzip timestool-1.3b.bin.gz
bash$> sh ./timestool-1.3b.bin

See also:

Times Installation


Home | Download | Screenshots | Documentation | Case studies | Publications | DARTS team | Contact us

(C) 2007 DARTS, IT Dept, CS, Uppsala University, Sweden