spacer
spacer search


Software Model Checking Framework

Search
spacer
header
Main Menu
Home
Team
Downloads
Papers
Documentation
API
Examples
Repository
Bug Reports
Licenses
Forums
Bogor Users Map
Site Map
Contact Us
Search
Login Form





Lost Password?
 
Home arrow Downloads

Downloading Bogor

An instruction to download Bogor core and extensions.

Authors: Matthew Hoosier, Robby


1. Quick Links

If you have followed the instructions below previously, you can go directly to:

2. Project Management

All Bogor core artifacts are maintained on our G-Forge project management system. G-Forge is an open-source collaborative development environment that provices tools to help project developers and users to collaborate. Some of the features provided are online forums, mailing list, bug trackers, CVS repositories, etc. Other Bogor artifacts (non-core) are maintained in the https://robby.user.cis.ksu.edu/bogor Subversion repository.

3. Privacy Statement

You need to register to gain access to the source and builds of the Bogor core. We will not publicize the information entered in the registration page; we will use it for statistical purposes.

4. Licensing

Note that when selecting a download, you will be asked to accept the terms of our software license. Once you accept the terms, you will be forwarded to the link of the file to download.

5. Steps to Download Bogor

  1. If you already have an account, skip to Step 2.

    Register for an account on our G-Forge project system. Please see our privacy statement for information about your account's personal data. The registration procedure will require you to supply a valid email account which we can use to verify your identity.

    After confirming your account and signing in for the first time, you are ready to move on with Step 2.

  2. Sign on using your account on our gForge system, and then navigate to the Bogor core download page. Here you will find the most recently released versions of Bogor (in reverse chronological order). Select the version you wish to download, and click "bogor-bin-X.zip".

    You will be presented with a license agreement; after reading this and accepting it by following the link at the bottom of the page you will be moved on to Step 3.

  3. (Sometimes omitted). Occasionally you may be asked to confirm or re-confirm the name and type of organization for which you are downloading materials. This data is protected by the same privacy policies as your user account. Please enter your institution's name, type, and country if so prompted. Submitting this data moves you to Step 4.

  4. You are presented with a page containing a protected link to the requested file. Download it.

6. Important Notes

The default distribution of Bogor does not include the optimizations described in various publications. It is instead targeted to be easily understood. If you wish to use Bogor with features such as symmetry reduction, collapse compression, or partial order reduction, you must download separately and enable the extension modules.

These are available through the https://robby.user.cis.ksu.edu/bogor Subversion repository.

 
< Prev   Next >
spacer
Popular
Newsflash

 
(c) SAnToS Laboratory, Kansas State University, 2002-2006
spacer