Submit Software
  1. Home
  2. Windows
  3. Other
  4. Bogor-PubSub

Bogor-PubSub 0.1

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

Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.

VERSION HISTORY

  • Version loupe-0.1 posted on 2009-05-06
    Several fixes and updates
  • Version loupe-0.1 posted on 2009-05-06

Program Details

Related Programs

  • Neural network designer Free

    This project consists out of a windows based designer application and a library (that can run on multiple platforms, including android) together with several demo applications (including an MVC3 chatbot client and an android

  • HRMEdit Free

    Application for viewing and especially editing HRM-files generated by Polar Heart Rate Monitors (e.g. S720i, S725X, S625X). It provides a GUI for finding errors and manually correcting samples.

  • MSLK Free

    MSLK provides the precompiled Win32 binaries of some excellent porject with a GPL or similar open source license. Here will keep updated.

  • phpMySetiStats Free

    phpMySetiStats is a tool for displaying SETI@home statistics of running processes and personal statistics from Berkeley. It uses MySQL on backened. Crontab is also recommended.

  • MbLoc Locator Free

    Software features:1. Positioning on the base stations of mobile operator, as well as GPS (If this feature is enabled in your phone [Settings-> Location & security-> Satellites GPS]).2. Give detailed information abou

  • SISC Free

    SISC is an extensible Java based interpreter of the algorithmic language Scheme. SISC uses modern interpretation techniques, and handily outperforms all existing Java interpreters (often by more than an order of magnitude)

  • Druide DB : XML database API for java Free

    DruideDB is an embedded database (based on Object/XML mapping files) for Java applications. Both source code (DAO) and persistence layer (mapping) is generated. This DB stores everything as strings and handle auto-increments

  • LGTV embedded OS (douglas) Free

    This is a copy of the official sources that were provided to me upon GPL fulfillment request by LG Electronics for the software on my 47LG70 LCD HDTV. Many have problems obtaining these as LG. Includes linux 2.6.10, microwind

  • nppSmartEdit Free

    Nodepad++ plugin is capable to place automatically brackets so that it was easy to read initial texts

  • log4j, fast and flexible java logging Free

    log4j is a debugging tool, written in Java, which logs statements to a file, a java.io.Writer, or a syslog daemon.