Develop and Download Open Source Software

syspect

[RSS]Download

Would you recoomend this project?

Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.

You can download file releases of syspect project from List of release files

DL
syspect-1.6.0.win32.win32.x86_64.zip
Date: 2011-07-18, Size: 49640438
DL
syspect-1.6.0.macosx.cocoa.x86_64.zip
Date: 2011-07-18, Size: 49272963
DL
syspect-1.6.0.linux.gtk.x86_64.zip
Date: 2011-07-18, Size: 57300673
DL
syspect-1.6.0.solaris.gtk.sparc.zip
Date: 2011-07-18, Size: 49322166

List of release files

File/Folder NameFile TypeSizeDateDownload Count
Latest 5 files
syspect-1.6.0.win32.win32.x86_64.zipapplication/zip; charset=binary48.5 MB2011-07-18 11:504
syspect-1.6.0.solaris.gtk.sparc.zipapplication/zip; charset=binary48.2 MB2011-07-18 11:500
syspect-1.6.0.win32.win32.x86.zipapplication/zip; charset=binary48.5 MB2011-07-18 11:502
syspect-1.6.0.macosx.cocoa.x86_64.zipapplication/zip; charset=binary48.1 MB2011-07-18 11:500
syspect-1.6.0.macosx.cocoa.x86.zipapplication/zip; charset=binary48.2 MB2011-07-18 11:500
All Files
syspect
1.6.0
syspect-1.6.0.win32.win32.x86_64.zipapplication/zip; charset=binary48.5 MB2011-07-18 11:504
syspect-1.6.0.solaris.gtk.sparc.zipapplication/zip; charset=binary48.2 MB2011-07-18 11:500
syspect-1.6.0.win32.win32.x86.zipapplication/zip; charset=binary48.5 MB2011-07-18 11:502
syspect-1.6.0.macosx.cocoa.x86_64.zipapplication/zip; charset=binary48.1 MB2011-07-18 11:500
syspect-1.6.0.macosx.cocoa.x86.zipapplication/zip; charset=binary48.2 MB2011-07-18 11:500
syspect-1.6.0.linux.gtk.x86.zipapplication/zip; charset=binary48.4 MB2011-07-18 11:501
syspect-1.6.0.linux.gtk.x86_64.zipapplication/zip; charset=binary56.0 MB2011-07-18 11:501
1.5.0
Syspect-RCP-1.5.0.win32.win32.x86_64.zipapplication/zip; charset=binary43.2 MB2010-05-11 14:570
Syspect-RCP-1.5.0.win32.win32.x86.zipapplication/zip; charset=binary43.1 MB2010-05-11 14:530
Syspect-RCP-1.5.0.solaris.gtk.sparc.zipapplication/zip; charset=binary42.9 MB2010-05-11 14:480
Syspect-RCP-1.5.0.macosx.cocoa.x86_64.zipapplication/zip; charset=binary42.8 MB2010-05-06 15:310
Syspect-RCP-1.5.0.linux.gtk.x86_64.zipapplication/zip; charset=binary43.3 MB2010-05-06 14:580
Syspect-RCP-1.5.0.linux.gtk.x86.zipapplication/zip; charset=binary43.1 MB2010-05-06 14:380
1.4.1
syspect-1.4.1.linux.gtk.x86.zipapplication/x-zip37.5 MB2009-10-09 00:060
syspect-1.4.1.linux.gtk.x86_64.zipapplication/x-zip37.7 MB2009-10-08 23:220
syspect-1.4.1.solaris.gtk.sparc.zipapplication/x-zip37.2 MB2009-10-08 23:090
syspect-1.4.1.macosx.cocoa.x86_64.zipapplication/x-zip37.2 MB2009-10-08 23:010
syspect-1.4.1.win32.win32.x86.zipapplication/x-zip37.5 MB2009-10-08 22:050
syspect-1.4.1.win32.win32.x86_64.zipapplication/x-zip37.6 MB2009-10-08 21:460
1.4.0
syspect-1.4.0.solaris.gtk.sparc.zipapplication/x-zip37.3 MB2009-08-20 16:101
syspect-1.4.0.macosx.cocoa.x86_64.zipapplication/x-zip37.2 MB2009-08-20 16:000
syspect-1.4.0.win32.win32.x86.zipapplication/x-zip37.5 MB2009-08-20 15:590
syspect-1.4.0.win32.win32.x86_64.zipapplication/x-zip37.6 MB2009-08-20 15:530
syspect-1.4.0.linux.gtk.x86.zipapplication/x-zip37.6 MB2009-08-20 15:521
syspect-1.4.0.linux.gtk.x86_64.zipapplication/x-zip37.7 MB2009-08-20 15:350
1.2.1
syspect-1.2.1.linux.gtk.x86_64.zipapplication/x-zip50.4 MB2007-10-04 16:040
syspect-1.2.1.win32.win32.x86.zipapplication/x-zip50.2 MB2007-10-04 15:390
syspect-1.2.1.solaris.gtk.sparc.zipapplication/x-zip50.0 MB2007-10-04 15:390
syspect-1.2.1.macosx.carbon.x86.zipapplication/x-zip49.9 MB2007-10-04 15:380
syspect-1.2.1.macosx.carbon.ppc.zipapplication/x-zip49.9 MB2007-10-04 15:380
syspect-1.2.1.linux.gtk.x86.zipapplication/x-zip50.4 MB2007-10-04 15:380


Related Projects
  • TERASOLUNAフレームワーク
  • プロパティエディタ開発プロ
  • Amateras
  • Seasar
  • SharpDevelop-jp
Search Keywords
No Data
About SourceForge.JP
Find Software
Develop Software
Community
Help
SourceForge.JP is a Japanese version of SourceForge.net. For developments that are not related to Japan, we recommend you to use SourceForge.net.