Submit Software
  1. Home
  2. Linux
  3. Other
  4. Slicefy

Slicefy

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

A tool for the specification and verification of concurrent systems by means of slices.

VERSION HISTORY

  • Version N/A posted on 2011-07-25
    Several fixes and updates
  • Version N/A posted on 2011-07-25

Program Details

Related Programs

  • Transform SWF for Java Free

    Transform SWF is an easy to use library for reading and writing Flash and Flash Video files. As of 25/11/2010 the latest version (3.0) can now be found at GitHub, https://github.com/StuartMacKay/transform-swf.

  • CodeSnip Free

    CodeSnip manages, displays and manipulates a source code repository. The repository can display locally stored snippets downloaded from the online Code Snippets database as well as user-defined code snippets. Designed with De

  • Jester Free

    Jester is a test tester for testing your java JUnit tests (Pester is for Python PyUnit tests). It modifies your source code, runs the tests and reports if the tests pass despite the changes to the code. This can indicate miss

  • ApacheBuilder Free

    ApacheBuilder builds Apache (with optional modules of Mod_SSL and Mod_Perl) from sources, prompting for config params of location, etc. When done, it starts Apache and verifies it all works ok.

  • NDAI Reference Library for HFI Free

    A Network Datagram Abstraction Interface (NDAI) reference library implementation for IBM's PERCS integrated high speed HFI network.

  • QueryXMMS Free

    QueryXMMS uses libxmms to query the popular Linux multimedia player XMMS about it's current state.

  • Leseratte Free

    Leseratte is a Java parser for German written language. Currently, it contains a German lexicon (based on the Wiktionary), inflexion rules, a grammar and a parser. (Semantics component planned.) Usable as a Java library, also

  • aspell-nds Free

    This project provides a Low Saxon language module for the GNU aspell program. Low Saxon (ISO-language code: nds) is a regional language spoken in northern Germany and the eastern part of the Netherlands.

  • Yet Another Object Request Broker Free

    Yet Another Object Request Broker is an implementation of CORBA, written in C++

  • Open Source Tracker Free

    Open Source Tracker is a middleware for electronic traceability of food message, e.g TraceCoreXML. OST comes with an optional web interface used to view, generate, exchage and translate traceability messages. Both Java and .n