• Back to all releases

Version 4.0.4 of SPIN Distributed Software Verification Tool

• 
• 4.2.0

• 
•  19 Sep 2004 02:42
• 

• Major feature enhancements

Release Notes: This version is even more efficient and robust.

• 
• 4.0.6

• 
•  10 Jun 2003 01:30
• 

• Major bugfixes

Release Notes: This version fixes lots of bugs.

• 
• 4.05

• 
•  04 Jun 2003 01:21
• 

• Major feature enhancements

Release Notes: Many new features were added.

• 
• 4.0.4

• 
•  17 Apr 2003 00:34
• 

• Major feature enhancements

Release Notes: New features and bugfixes.

• 
• 4.03

• 
•  08 Apr 2003 01:10
• 

• Major bugfixes

Release Notes: Many bugfixes were made.