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 Summary + Labels Uploaded ReleaseDate Size DownloadCount ...
Download TestExecutionCheckingAssertionInvariant.cfg TLA+ configuration file Mar 2012 Mar 2012 795 bytes 28  
Download MonitoredTestExecution.cfg TLA+ configuration file Mar 2012 Mar 2012 797 bytes 31  
Download TestExecution.cfg TLA+ configuration file Mar 2012 Mar 2012 853 bytes 27  
Download TestExecutionCheckingAssertionInvariant.tla TLA file used for formal validation of the tool Mar 2012 Mar 2012 318 bytes 27  
Download MonitoredTestExecution.tla TLA file used for formal validation of the tool Mar 2012 Mar 2012 3.5 KB 27  
Download TestExecution.tla TLA file used for formal validation of the tool Mar 2012 Mar 2012 4.7 KB 37  
Download threadControl_0.3_src.zip Version 0.3 of ThreadControl source code (used in Ayla's Thesis) Nov 2010 63.7 KB 72  
Download threadControl_0.2_src.zip Download ThreadControl 0.2 source code Mar 2009 29.8 KB 54  
Download threadControl_0.1_src.zip Download ThreadControl 0.1 source code Mar 2009 15.2 KB 46  
  
Powered by Google Project Hosting