Todd Wallentine
The Bandera team is proud to announce the 1.0 alpha 4 release. This release is several steps ahead of the alpha 3 release and provides a tutorial that should get new users started. The tutorial also includes some guidance on integrating 3rd party tools into the Bandera tool chain.
Other improvements include:
- New examples
- A new version of Bogor
- and many bug fixes
Support for this release will be provided based upon the policy that we have outlined here:
http://bandera.projects.cis.ksu.edu/supportPolicy.shtml
The important thing to keep in mind is that we are very involved in the research aspects of the tool development so we will not have much time to devote to helping others. However, we will do our best to provide support that will allow others to work with us.
Please note that this version of Bandera may not work with all versions of Bogor. It has been tested with the 20051226 version of Bogor (which is included with the release along with the Eclipse plugins for that Bogor version in a separate download).
To download, visit this page and follow all instructions:
http://projects.cis.ksu.edu/plugin/ksuafrs/showfiles.php?group_id=6
 Discussions |
|
