Submit Software
  1. Home
  2. Windows
  3. Other
  4. Syspect

Syspect 1.5.0

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

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

VERSION HISTORY

  • Version 1.5.0 posted on 2010-05-11
    Several fixes and updates
  • Version 1.5.0 posted on 2010-05-11

Program Details

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.