Syspect 1.5.0
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/syspect/files/syspect/1.5.0/Syspect-RCP-1.5.0.win32.win32.x86.zip/download
ABOUT Syspect
Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.
Related Programs
-
Frankenstein Project: Hack the Genome Free
Frankenstein Project: Hack the GenomeA collection of valuable tools needed for genome analysis, such as:- molecule, protein 3d structure viewer- protein alignement machine- cloner- DNA manipulating tools- DNA-to-Protein
-
Order Switchable Column Table (OSCT) Free
Order Switchable Column Table (OSCT) is a framework of tab-delmited format in molecular biology. OSCT, developed in RIKEN OSC, provide a general framework to capture meta-data (such as input file, protocol, parameters, etc) a
-
Chemistry Terms Dictionary Free
Download complete chemistry guide dictionary today.This Application contains over 1000 "Chemical Terms" along with their Scientific Definitions.The user of this application can search for Definitions for certain che
-
Zoorbar Free
Zoorbar is a computer application designed to manage and digitize Natural History collections. - Recording of all specimens identifications. It is based on MS-Access. Credits and more information at http://www.gbif.es/zoorbar
-
Turkish Human Mutation Database Free
The rapid accumulation of human mutation data has led to the idea of establishing a national/ethnic database in Turkey endorsed by HUGO-MDI/HGVS. The interdisciplinary hmut-tr project initiated in 1995 aims to host this valua
-
Regex Creator Free
Regex Creator is a tool to help create regular expressions (regex). The goal is to make it as easy and as fast as possible to create regex. You paste the text to parse, specify the values to extract and generate the regex. Yo
-
Lapack++ Free
LAPACK++ is a library for high performance linear algebra computations.This version includes support for solving linear systems using LU, Cholesky,QR matrix factorizations, for real and complex matrices.
-
Buxa Code Documentor for PHP 6 Free
An easy to use API for documenting PHP (>= 5.3) projects. It follows a strict structure and originally, it was only written for the Buxa Framework. The documentor mainly uses reflection and yes... of course, it supports th
-
Moodle presubscribe Free
Presubscribe object can be used with Moodle to add full presubscribe capabilities to it. The module allows users presubscribe a course (with notification email). Moodle admin can approve this subscribe to effective couse enro
-
di-base read Fast Alignment Search Tool Free
Fast Alignment Search Tool for di-base reads (color-space; AB SOLiD). A complementary program for the popular Illumina read mappers mrFAST and mrsFAST.