The Bandera project is currently in hibernation (as of 25 May 2006). There are no faculty, staff, or students currently working on it nor supporting it. Feel free to post messages to the forum - just understand that the answers might not come quickly or be useful.
The Bandera project was designed to be an extensible framework for performing verification/validation of Java applications. The underlying framework is flexible enough to apply to a great many problems (e.g., to perform verification/validation of C# applications or to perform any pipeline-based computation).
| Recent News |
Bandera Moves into Hibernation
Todd Wallentine
2006-05-25The Bandera team announces the hibernation of the project after the 1.0a4 release. We have been working very hard to provide the 1.0 final release before moving on to other things but have been unsuccessful. The time and effort that the team has available are being shifted to other projects that are more critical to the labs priorities (Cadena and Bogor). Because of this, the code base will be t... |
Bandera1.0a4 Released
Todd Wallentine
2006-05-25The 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 rel... |
TACAS 2006 Conference Paper on Bandera, Bogor, and Indus
Todd Wallentine
2006-05-05Members of the SAnToS Laboratory at KSU and the ESQuaReD Laboartory at UNL collaborated in publishing a conference paper at TACAS 2006.
The paper titled "Evaluating the Effectiveness of Slicing on Model Reduction of Concurrent Object-Oriented Programs" was authored by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Robby, and Todd Wallentine. The paper presents ... |
Bandera1.0a3 Released to Research Partners
Todd Wallentine
2005-09-08The Bandera team is proud to announce the 1.0 alpha 3 release. This release is several steps ahead of the alpha 2 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:
- A new Tool from the Indus project, the ConcurrentIndependenceTool, that provides new... |
Bandera1.0a2 Released to Research Partners
Todd Wallentine
2005-06-28The 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.... |
|
|
|
| Activity |
|
| Description |
Bandera is a toolset for providing
verification and validation for
developers of Java applications.
|
| Developer Info |
Robby
John Hatcliff
Matt Dwyer
|
| Trove Categorization |
- Development Status: 3 - Alpha
- Intended Audience: Developers
- License: GNU General Public License (GPL)
- Operating System: OS Independent
- Programming Language: Java
- Spoken Language: English
- Topic: Debuggers
|
|
