Version 4.03 of SPIN Distributed Software Verification Tool

Release Notes: Many bugfixes were made.

Other releases

  •  19 Sep 2004 02:42

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

  •  10 Jun 2003 01:30

Release Notes: This version fixes lots of bugs.

  •  04 Jun 2003 01:21

Release Notes: Many new features were added.

  •  17 Apr 2003 00:34

Release Notes: New features and bugfixes.

  •  08 Apr 2003 01:10

Release Notes: Many bugfixes were made.

Screenshot

Project Spotlight

ABC Path Solver

An automated solver for the puzzle game ABC Path.

Screenshot

Project Spotlight

Lziprecover

A recovery tool for lzip files.