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

GEECoP

License: Free ‎File size: N/A
‎Users Rating: 3.8/5 - ‎2 ‎votes
Download

GEECoP (Graphical Editor and Engine for Constrained Processes) is a tool to graphically design control-flow graphs and their associated constraints. It supports creation of Concurrent Transaction Logic formulas and validation of constrained processes.

VERSION HISTORY

  • Version Windows posted on 2009-09-02
    Several fixes and updates
  • Version N/A posted on 2009-09-02

Program Details

Related Programs

  • ds-Lucas Free

    Project ds-Lucas is simple PHP script which separetes your PHP scripts and HTML templates. Including functions to multi lines output, handling with external files outputs, multi setting outputs.

  • PadMig Free

    The Paderborn Thread Migration and Checkpointing (PadMig) library provides support for thread migration and checkpointing for the Java programming language.

  • VBDoxygen Free

    VB doxygen is a Visual Basic addin that converts VB code into java like syntax for processing through the doxygen documentation generator. This allows the production of advanced documentation for Visual Basic.

  • Open Software Building Environment Free

    OpenSBE is a universal software building framework based on Autoconf, GNU Make, Perl and sh. The framework provides a build environment that is platform, language, and compiler independent.

  • Ganymede Free

    A log4j plugin to Eclipse that works similar to chainsaw (SocketServer). Includes color, filtering, detailed information, and saves settings.

  • mCtrl Free

    mCtrl is C library providing set of additional user interface controls for Windows, intended to be complementary to standard Win32API controls from USER32.DLL and COMCTL32.DLL.

  • S.L.A.V.E. Project Free

    SLAVE is completely modulars set of scripts and programs, made to parallelize Linux Init's services, to increase booting speed.

  • RoboCup MSL refbox Free

    The RoboCup MSL Refbox is used for helping the referee to control a robotic soccer game (used by RoboCup Midsize league).

  • ssSVMToolbox Free

    ssSVMToolbox is a Java application capable of performing supervised and semi-supervised learning tasks with Support Vector Machines. It is based on Spring (http://springframework.org/), RapidMiner (http://www.rapidminer.com)

  • PDDL4J Free

    PDDL4J is an open source library to facilitate java implementation of planners based on the PDDL (Planning Description Language). The library contains a parser on the last version of PDDL 3.0 and an example of graphplan imple