Todd Wallentine
The Bandera team is proud to announce the 1.0 alpha 2 release. This release is several steps ahead of the alpha 1 release and provides a tutorial that should get new users started. The new tutorial also includes some guidance on integrated 3rd party tools into the Bandera tool chain.
This release will be provided to a wider audience but will still be moderated to a select few research groups. If you feel that you should be included, please send an email to the lead developer, Todd Wallentine, describing who you are, who you are affiliated with (university, company, etc.), what your research area is, and how you plan to use Bandera. It would also help the process if you mentioned any contacts you have in the SAnToS lab (and included how you know them).
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.  Discussions |
|
