Overview

• About Indus
• People
• Funding
• Related Projects
• Used projects
• Licenses
• Sourceforge

Downloads

Documentation

• Screen Shots
• User Guides and Source docs
• Developer Resources

Collaborations

• Papers
• Presentations

Sub Projects

• Kaveri

Support

• Policy
• Forums
• Tracker (Bugs, Requests)
• Mailing List

Related Projects

• The Bandera Project integrates existing programming language processing techniques with newly developed techniques to provide automated support for the extraction of safe, compact, finite-state models that are suitable for verification from Java source code.