My favorites | Sign in
Project Home Downloads Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  
  Filename Size Summary + Labels DownloadCount Uploaded UploadedBy Component ...
Download TestExecutionCheckingAssertionInvariant.cfg 795 bytes TLA+ configuration file 29 Mar 2012 ayladeb...@gmail.com ----  
Download MonitoredTestExecution.cfg 797 bytes TLA+ configuration file 32 Mar 2012 ayladeb...@gmail.com ----  
Download TestExecution.cfg 853 bytes TLA+ configuration file 28 Mar 2012 ayladeb...@gmail.com ----  
Download TestExecutionCheckingAssertionInvariant.tla 318 bytes TLA file used for formal validation of the tool 28 Mar 2012 ayladeb...@gmail.com ----  
Download MonitoredTestExecution.tla 3.5 KB TLA file used for formal validation of the tool 28 Mar 2012 ayladeb...@gmail.com ----  
Download TestExecution.tla 4.7 KB TLA file used for formal validation of the tool 38 Mar 2012 ayladeb...@gmail.com ----  
Download threadControl_0.3_src.zip 63.7 KB Version 0.3 of ThreadControl source code (used in Ayla's Thesis) 73 Nov 2010 ayladeb...@gmail.com ----  
Download threadControl_0.2_src.zip 29.8 KB Download ThreadControl 0.2 source code 55 Mar 2009 ayladeb...@gmail.com ----  
Download threadControl_0.1_src.zip 15.2 KB Download ThreadControl 0.1 source code 47 Mar 2009 ayladeb...@gmail.com ----  
  
Powered by Google Project Hosting