Slicefy
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://slicefy.svn.sourceforge.net/
ABOUT Slicefy
A tool for the specification and verification of concurrent systems by means of slices.
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